Последние версии GCC и Clang имеют функцию Undefined Behavior Sanitizer (UBSan), которая представляет собой флаг компиляции (-fsanitize = undefined), который добавляет код инструментария во время выполнения. Об ошибках, таких как предупреждение ...