Comment by astrange

3 years ago

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

(The answer is: yes.)