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

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

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

clang目前还在开发中，但是clang做C分析，目标是随着时间的推移处理c++。这是LLVM项目的一部分。

更新:虽然登陆页面上写着“分析器是一个持续的工作中”，但它现在被记录为C和c++的静态分析器。

问:如何运行GCC/Clang进行静态分析?(警告)

编译器选项:-fsyntax-only

有人提到了- weffc++，但这实际上是我在默认情况下没有打开的唯一GCC警告之一。但是，我所打开的警告集是我的工具包中最重要的静态分析工具。您可以看到建议警告的完整列表。

总而言之:

-pedantic -Wall -Wextra -Wcast-align -Wcast-qual - wctor - dr -privacy -Wdisabled-optimization -Wformat=2 -Winit-self - wlogic -op - wloss -declarations - wloss -include-dirs -Wnoexcept - wd -style-cast - woverload -virtual -Wredundant-decls -Wshadow -Wsign-conversion -Wsign-promo -Wstrict-null-sentinel -Wstrict-overflow=5 -Wswitch-default - wdef -Werror -Wno-unused

请注意，其中一些需要新的gcc版本，因此如果您停留在4.5或其他版本，可能需要从列表中删除它们。

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

CppCheck是开源和跨平台的。

Mac OSX:

brew install cppcheck

还可以在MELT(一种专门为扩展GCC而设计的领域语言)中编写GCC扩展代码，或者在C中编写GCC插件(难度大得多)，以进行一些自定义分析。