Comment by gcr

Modern compilers like clang and GCC both have static analysis for some of this. Check out the undefined behavior sanitizer.