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

FactGenerator: Duplication between Main.cpp and Wrapper.cpp #121

Open langston-barrett opened 1 year ago

langston-barrett commented 1 year ago

These are almost identical, I'm sure we can unify them.

langston-barrett commented 1 year ago

Hmm, when moving factgen from Main.cpp to Wrapper.cpp, I get an undefined symbol linking error in Main.cpp. Not sure why that would be...