cppcheck is a static C/C++ code analyzer that checks for memory leaks, mismatching allocation-deallocation, buffer overrun, and many more problems. Its goal is to produce no false positives.