[kutkloon7]

GCC has -fsanitize=undefined. I don't think it detects all kinds of undefined behavior (I haven't tried it myself). You should be able to find more information if you please.

Edit: mannykannot noted somewhere else that clang has the same flag.

[staticassertion]

These are runtime sanitizers designed to aid testing and fuzzing, not meant for running in production software. It involves instrumentation.