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

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

另一种选择是找到可以在多个平台(Windows和Unix)上运行的开源c++静态分析工具。通过使用开源工具,可以对其进行修改以适应特定的需求。找到这些工具并非易事。

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

c++检查http://sf.net/projects/cppcheck/ 呼噜声http://danielwilkerson.com/oink/index.html C和c++代码计数器http://sourceforge.net/projects/cccc/ 夹板(来自答案) Mozilla的猪肉(来自答案)(这现在是Oink的一部分) Mozilla的Dehydra(来自答案) 使用选项- weffc++ for GNU g++(来自答案)

还有哪些大家都知道并可以推荐的可移植的开源c++静态分析工具?

一些相关链接。

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/ 选择静态代码分析工具


当前回答

对于GNU编译器,gcc已经有一个内置选项,可以对-Wall的那些选项进行额外的警告。这个选项是- weffc++,它违反了Scott Meyers在他的书《Effective and More Effective c++》中发表的一些指导方针。

特别是该选项检测以下项目:

为动态分配内存的类定义复制构造函数和赋值操作符。 在构造函数中首选初始化而不是赋值。 在基类中将析构函数设为虚函数。 让"operator="返回对*this的引用。 当必须返回对象时,不要尝试返回引用。 区分递增和递减操作符的前缀和后缀形式。 不要让“&&”、“||”或“,”过载。

其他回答

夹板似乎符合C的要求。

如果你没有指定开源,我会说Gimpel Software的PCLint可能是c++中用于静态代码检查的最佳工具之一。但是,当然,它不是开源的。

Mac OSX:

brew install splint

对于GNU编译器,gcc已经有一个内置选项,可以对-Wall的那些选项进行额外的警告。这个选项是- weffc++,它违反了Scott Meyers在他的书《Effective and More Effective c++》中发表的一些指导方针。

特别是该选项检测以下项目:

为动态分配内存的类定义复制构造函数和赋值操作符。 在构造函数中首选初始化而不是赋值。 在基类中将析构函数设为虚函数。 让"operator="返回对*this的引用。 当必须返回对象时,不要尝试返回引用。 区分递增和递减操作符的前缀和后缀形式。 不要让“&&”、“||”或“,”过载。

Doxygen做一些控制流分析并生成图形。这些可能不是你要找的,但我发现它们很有用。

CppCheck是开源和跨平台的。

Mac OSX:

brew install cppcheck

微软的PREFast也可以在Windows驱动套件中使用。7.0版可在此处下载。

微软文档声明它只能针对驱动程序代码运行,但这篇(旧的)博客文章列出了运行它的步骤。也许它可以集成到一个正常的构建过程中?