开源的C++静态分析工具

开源的C++静态分析工具

Java有一些非常好的、开源的静态分析工具，如FindBugs、Checkstyle和PMD。这些工具易于使用、有益于开发，能运行于多种操作系统而且还免费。 

商业级的C++静态分析工具产品有Klocwork、Gimpel和Coverity。尽管这些产品很优秀，但其售价昂贵，不适合大多数学生。 

另一种办法是找到开源的可运行在多个平台（ Windows和Unix ）的C++静态分析工具。使用开源工具，还可以修改，以适应某些特殊需要。但是找到适合的工具是一件不容易的任务。 

以下是我查找的C++的静态分析工具。 
C++ Check 地址：http://sf.net/projects/cppcheck/
Oink 地址：http://www.cubewano.org/oink/
C and C++ Code Counter 地址：http://sourceforge.net/projects/cccc/
Splint
Mozilla的Pork
Mozilla的Dehydra
Weff++ for GNU g++的选项功能

还有其它的开源C + +的静态分析工具吗？