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

ci: Build FactGenerator with sanitizers #107

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

UBSan in particular is low-overhead, it's almost certainly worth using it during testing.

Might be worth looking here: https://github.com/trailofbits/vast/blob/master/cmake/sanitizers.cmake