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

Remove subset-and-unification target #85

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

There was some idea that this could be a useful mode of analysis, but it wasn't executed to a point where it's actually usable. The generated C++ file is huge and takes a long time to compile, so let's avoid it.

The "debug" build still includes both analyses, ensuring compatibility (e.g., that they don't define relations with the same name).

langston-barrett commented 2 years ago

Looks like this shaves a solid minute off of the time it takes to cmake --build in CI!