Except, they do that too now, with undefined behavior sanitizer available in both llvm and gcc. Sure, it doesn't catch everything everything, but ...