bitblaze-fuzzball / fuzzball

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

Add a binary search to find the negative minimum index of a lookup table #38

Closed seonmokim closed 4 years ago

seonmokim commented 4 years ago

This adds a binary search to find a negative minimum index before searching for a maximum index of a look-up table when loading a table.