Corrections to the string solver - 2 - #646

Closed

allredj wants to merge 10 commits into

diffblue:masterfrom

allredj:string-refine-corrections-on-preprocess

Commits on Mar 17, 2017

Preprocessing of goto programs for string refinement
romainbrenguier
committed
1aede78
Moving is_java_string_type functions to string_preprocess
romainbrenguier
committed
3a2e210
Moving refined_string_type to util
romainbrenguier
committed
70af9ce
Removed distinction between c string type and refined string type
romainbrenguier
committed
2929d7f
Removed mention of c string type
romainbrenguier
committed
5cb0e5e

Commits on Mar 22, 2017

Making add_string_type more generic
romainbrenguier
committed
32cecfb
new identifier for converting char pointer to array
romainbrenguier
committed
c97d82f

Commits on Mar 23, 2017

Many corrections in preprocessing of strings

romainbrenguier
authored and
Joel Allred
committed
9b2b179
Many corrections in string refinement

romainbrenguier
authored and
Joel Allred
committed
8c4066e
Need to assign length before calls since it can be overwritten by functions with side-effect

romainbrenguier
authored and
Joel Allred
committed
e93cd40