draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

Check read address against a range rather than a set of concrete addresses #358

Closed fortunac closed 2 years ago

fortunac commented 2 years ago

Handles #356