求索阁

FlexeLint

支持windows,linux

http://www.gimpel.com/html/flex.htm

pclint

只支持 windows

http://www.gimpel.com/html/pcl.htm

splint

只支持c代码的文件

http://www.splint.org/

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都显示出来。