一些代码检查工具

CPPcheck

http://cppcheck.sourceforge.net/

Cppcheck is a static
analysis tool for C/C++ code. Unlike C/C++ compilers and many other analysis tools it does not detect syntax errors in the code. Cppcheck primarily
detects the types of bugs that the compilers normally do not detect. The goal is to detect only real errors in the code (i.e. have zero false positives).

Klcocwork

Klocwork is
a static
code analysis tool used to identify security, safety and reliability issues in C, C++, Java and C# code.
The product includes numerous desktop plug-ins for developers, metrics and reporting.

Valgrind

GNU free.

Valgrind /ˈvælɡrɪnd/ is
a programming tool for memory
debugging, memory leak detection, and profiling.

Valgrind was originally designed to be a free memory debugging tool
for Linux on x86,
but has since evolved to become a generic framework for creating dynamic analysis tools such as checkers and profilers.

Bullseye

BullseyeCoverage
is a C++ code coverage analyzer used to improve the quality of software in vital systems such as enterprise applications, industrial control, medical, automotive, communications, aerospace and defense.