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
134 stars 15 forks source link

cmake: FactGenerator is built twice #118

Open langston-barrett opened 1 year ago

langston-barrett commented 1 year ago

For targets factgen-exe and SoufflePA. This is a bit hard to work around, because we want to run the FactGenerator with UBSan (#107), but it's tricky to get an opt-loaded shared object working with sanitizers.