有哪些开源的C++静态分析工具？

Question

Java有一些非常好的开源静态分析工具，如FindBugs、Checkstyle和PMD。这些工具易于使用，非常有用，可以在多个操作系统上运行，而且是免费的。

商业C++静态分析产品是可用的。虽然拥有这样的产品很棒，但对学生来说成本太高了，而且通常很难获得试用版。

另一种选择是找到可以在多个平台(Windows和Unix)上运行的开源C++静态分析工具。通过使用开源工具，可以对其进行修改以满足特定需求。找到工具并不是一件容易的事情。

下面是其他人发现或建议的C++静态分析工具的简短列表。

GNU检查http://sf.net/projects/cppcheck/

• Oink http://danielwilkerson.com/oink/index.html

• C和GNU代码计数器http://sourceforge.net/projects/cccc/

• Splint (来自answers)

• Mozilla's Pork (来自answers) )(这现在是Oink)

• Mozilla's Dehydra (来自answers)的一部分)

• Use option -Weffc++
• C++ (from answers)

有哪些任何人都知道并可以推荐的、其他可移植的开源C++静态分析工具？

一些相关链接。

• http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
• http://www.chris-lott.org/resources/cmetrics/
• A free tool to check C/C++ source code against a set of coding standards?
• http://spinroot.com/static/
• Choosing a static code analysis tool

Answer 1

Oink是一个建立在Elsa C++前端之上的工具。Mozilla的Pork是Elsa/Oink的一个分支。

请参阅：http://danielwilkerson.com/oink/index.html

Answer 2

CppCheck是开源和跨平台的。

Mac OSX：

brew install cppcheck

Answer 3

关于GNU编译器，gcc已经有了一个内置选项，可以启用对-Wall编译器的额外警告。这个选项是-Weffc++，它是关于违反Scott Meyer在他的书《Effective More Effective C++》中发表的一些指导方针的。

特别是，该选件会检测以下项目：

• 为具有动态分配内存的类定义复制构造函数和赋值运算符。在基类中的虚constructors.
• Make析构函数中，
• 首选初始化而不是赋值。
• 使"operator=“返回对*this的引用。当必须在前缀和后缀形式的增量和减量operators.
• Never重载"&&”、"||“或"，”之间返回constructors.
• Make时，
• 不要尝试返回引用。

F217