Fixing two bugs in the binary search for the number of entries in a t… - Githubissues

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution

Other

214 stars 58 forks source link

Fixing two bugs in the binary search for the number of entries in a t… #15

Closed vaibhavbsharma closed 7 years ago

vaibhavbsharma commented 7 years ago

…able (SRFM#query_bitwidth, SRFM#table_store)