> [...] detect places where the program wanders into parts of the C language specification [...] Small nitpick, the UB sanitizer also has some checks specific

> [...] detect places where the program wanders into parts of the C language specification [...] Small nitpick, the UB sanitizer also has some checks specific for C++ https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html