search

bitblaze-fuzzball / fuzzball

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

Adding a pair of meta options to FuzzBALL that control other options in an address range #30

Closed vaibhavbsharma closed 5 years ago

vaibhavbsharma commented 5 years ago

These changes add the -turn-opt-on-range and -turn-opt-off-range options to FuzzBALL. These new FuzzBALL options take arguments as option:addr1:addr2. -turn-opt-off-range causes option to be turned on at all program locations except those that are executed after addr1 and before addr2. Similarly -turn-opt-on-range turns option on only at program locations that are reached after addr2 and before addr2.