C / C++
coverity (commercial, free for open source)
Cppcheck, an open-source static analyzer
flint, another open-source static analyzer
Website: https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html
Simply compiling code with -Wall -Wextra -pedantic options catches quite a number of potential or actual problems.
