cppcheck.sourceforge.net

Cppcheck - A tool for static C/C++ code analysis

Cppcheck is an analysis tool for C/C++ code. It detects the types of bugs that the compilers normally fail to detect. The goal is no false positives.