bitblaze-fuzzball / fuzzball

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

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

Closed seonmokim closed 4 years ago

seonmokim commented 4 years ago

This adds a binary search to find the negative minimum index before searching for the maximum index of a lookup table when loading a table.