Corrections to the string solver - #574

Closed

romainbrenguier wants to merge 17 commits into

diffblue:masterfrom

romainbrenguier:string-refine-corrections

Commits on Mar 2, 2017

Preprocessing of goto programs for string refinement
romainbrenguier
committed
bc24e2c
Moving is_java_string_type functions to string_preprocess
romainbrenguier
committed
c1c29c3
Moving refined_string_type to util
romainbrenguier
committed
30edf8f
Removed distinction between c string type and refined string type
romainbrenguier
committed
94069c0
Removed mention of c string type
romainbrenguier
committed
d87a2f5
Linting corrections on /util/

Joel Allred
authored and
romainbrenguier
committed
03a5fff

Commits on Mar 3, 2017

Making add_string_type more generic
romainbrenguier
committed
f139dd2
Corrections in preprocessing, better signatures and string detection
romainbrenguier
committed
5bedcd6
Overhaul of string solver contributions
romainbrenguier
committed
4576899
Add test java_intern

Joel Allred
authored and
romainbrenguier
committed
86da762
Adapt test.desc to new output format

Joel Allred
authored and
romainbrenguier
committed
9bea961
Add test for main class with no argument.

Joel Allred
authored and
romainbrenguier
committed
83c5c17
Add test for parseint

Joel Allred
authored and
romainbrenguier
committed
47c8e15
Correct array index in get_array

Joel Allred
authored and
romainbrenguier
committed
4e3f0dc
Linting corrections on /goto-programs/

Joel Allred
authored and
romainbrenguier
committed
28de886
Linting corrections to /solvers/refinement/

Joel Allred
authored and
romainbrenguier
committed
6ecf65f
Adding option to concretize result and get method in string solver
romainbrenguier
committed
db85dc5