search

bitblaze-fuzzball / fuzzball

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

Clamp max bitwidth to expression bitwidth #29

Closed vaibhavbsharma closed 6 years ago

vaibhavbsharma commented 6 years ago

Clamp bitwidth returned by SRFM#narrow_bitwidth and SRFM#narrow_bitwidth_signed to 64 if it ever exceeds the bitwidth of the expression as returned by Vine. In other words, if narrowing is not possible, dont expand the width.