GaloisInc/cclyzerpp

ci: Build FactGenerator with sanitizers

langston-barrett opened this issue · 0 comments

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