開源的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 + +的靜態分析工具嗎？