FlexeLint
支持windows,linux
http://www.gimpel.com/html/flex.htm
pclint
只支持 windows
http://www.gimpel.com/html/pcl.htm
splint
只支持c代码的文件
cppcheck
支持c++
Cppcheck是一种C/C++代码缺陷静态检查工具。不同于C/C++编译器及其它分析工具,Cppcheck只检查编译器检查不出来的bug,不检查语法错误。
logiscope rulecheck
http://blog.csdn.net/jxxy012/article/details/502548
gcc
-w Inhibit all warning messages.
-Wall
All of the above -W options combined. This enables all the warnings
about constructions that some users consider questionable, and that
are easy to avoid (or modify to prevent the warning), even in con-
junction with macros. This also enables some language-specific warn-
ings described in C++ Dialect Options and Objective-C and
Objective-C++ Dialect Options.
把“几乎”所有warning都显示出来。