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

Question

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

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

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

另一种方法是找到可在多个平台（Windows和Unix）上运行的开源C ++静态分析工具。通过使用开源工具，可以对其进行修改以满足特定需求。寻找工具并非易事。

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

• C ++检查http://sf.net/projects/cppcheck/

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

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

• 夹板（来自答案）

• Mozilla的猪肉（来自答案）（现在是Oink的一部分）

• Mozilla的Dehydra（来自答案）

• 使用-Weffc++GNU g ++ 选项（来自答案）

什么是其他任何人都知道并可以推荐的便携式开源C ++静态分析工具？

一些相关链接。

• https://stackoverflow.com/questions/97454/c-static-code-analysis-tool-on-windows

• http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

• http://www.chris-lott.org/resources/cmetrics/

• 一个免费的工具，根据一组编码标准检查C / C ++源代码？

• http://spinroot.com/static/

• 选择静态代码分析工具

Answer 1

CppCheck是开源和跨平台的。Mac OSX：brew install cppcheck

Answer 2

关于GNU编译器，gcc已经有一个内置选项，可以为-Wall的那些启用额外的警告。选项是-Weffc ++，它是关于违反Scott Meyers在他的书“ 有效和更有效的C ++ ”中发表的一些指导原则。特别是该选项检测以下项目：为具有动态分配的内存的类定义复制构造函数和赋值运算符。首选初始化为构造函数中的赋值。在基类中使析构函数虚拟化。让“operator =”返回对* this的引用。必须返回对象时，请勿尝试返回引用。区分增量和减量运算符的前缀和后缀形式。永远不要超载“&&”，“||”或“，”。