search

GaloisInc / macaw

Open source binary analysis tools.
BSD 3-Clause "New" or "Revised" License
203 stars 20 forks source link

`macaw-symbolic`: Fix interval bounds in `mkGlobalPointerValidityPred` #371

Closed RyanGlScott closed 8 months ago

RyanGlScott commented 8 months ago

Fixes #279.