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

ci, cmake: Test with UBSan #111

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

Fixes #107.

langston-barrett commented 2 years ago

Looks like the module I took off the internet enables sanitizers for all components, which won't work for shared objects loaded by opt:

Error opening '/work/build/libSoufflePA.so': /work/build/libSoufflePA.so: undefined symbol: __ubsan_vptr_type_cache
  -load request ignored.

I should stop being lazy and write my own CMake...

langston-barrett commented 2 years ago

It's working: https://github.com/GaloisInc/cclyzerpp/actions/runs/3346791240/jobs/5544030490#step:5:64