Undefinedbehaviorsanitizer can be enabled via -fsanitize=undefined. various computations will be instrumented to detect undefined behavior at runtime. available for c and c++.