search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
137 stars 14 forks source link

v0.3 #79

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

I still need to run this against the extra test suite, and against MATE (see https://github.com/GaloisInc/MATE/pull/55).

langston-barrett commented 2 years ago

Arg... this still falis the MATE test. Perhaps it's another relation that became an input relation and has different content. Will do some more investigating. In the meantime, this passes the EXTRA_TESTS, so it's ready for a release.