search

bitblaze-fuzzball / fuzzball

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

Check path condition before fm#start_symbolic #24

Closed vaibhavbsharma closed 7 years ago

vaibhavbsharma commented 7 years ago

Stop fuzzball if the patch condition is non-empty before we get a chance to run fm#start_symbolic.