search

trailofbits / binary_type_inference

GNU General Public License v3.0
11 stars 0 forks source link

Ian/fixes to unbounded points to constraints #49

Closed 2over12 closed 1 year ago

2over12 commented 1 year ago

No longer emits additional pts to constraints when we are unable to bound the offset to which a load or store points