bitblaze-fuzzball / fuzzball

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

Adding table treatment for symbolic regions. #19

Closed vaibhavbsharma closed 7 years ago

vaibhavbsharma commented 7 years ago

SRFM#region_expr returns 5 value now in a tuple, the 3rd value being a bool which indicates if the region expression treatment can be handled using a table. If the table treatment is being applied, then the 2nd value (addr) will be set to 0 and if it is not being applied, then the 5th value (cloc) will be set to 0.