GaloisInc / MATE

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
https://galoisinc.github.io/MATE/
BSD 3-Clause "New" or "Revised" License
177 stars 12 forks source link

Make UAF POI consider uses of all allocation subregions #53

Closed thinkmoore closed 1 year ago

thinkmoore commented 2 years ago

Fixes #52.

thinkmoore commented 1 year ago

Don't squash commits. The second commit fixes an unrelated lint issue.