cppcheck

With cppcheck you can make a static analysis of C/C code. Checks for: memory leaks, mismatching allocation-deallocation, buffer overrun, and many more.

The goal is 0% false positives. Cppcheck supports a wide variety of static checks that may not be covered by the compiler itself. These checks are static analysis checks that can be performed at a source code level.