search

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution
Other
214 stars 58 forks source link

Changing the ordering of declarations returned by one_cond_for_solving #18

Closed vaibhavbsharma closed 7 years ago

vaibhavbsharma commented 7 years ago

Changing the ordering of declarations returned by one_cond_for_solving in formula_manager, especially for memory variables that are of size short, word, and long, so that in the solver input file, we get memory variable declarations before their use.