Comment by saagarjha

3 years ago

Note that UBSan is a dynamic analysis tool.

Indeed. But still a good idea to run at least your test-suite with it. And also with address sanitizer and clang's memory sanitizer, etc. Whatever you can find.

The static analysis is you compile with it and see if there's any trap instructions emitted by the compiler.

(The answer is: yes.)