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

哎呀,`-Weffc ++`警告大约*吨*的构造在大型代码库中完美无缺.我赞成了`-Wextra`的建议; 没有它就不要离开家! (22认同)
除了gcc的-Wall和-Weffc ++之外,-Wextra还做了一些很好的自由静态分析,例如,不返回值的分支,或者检查unsigned是否小于零.值得注意的是,专业程序员经常认为后者是个好主意... (7认同)

Answer 3

Don*_*eld 29

目前正在开发中,但clang做了C分析,并且随着时间的推移有针对性地处理C++.它是LLVM项目的一部分.

更新:当着陆页显示"分析仪是一个持续的工作进行中"时,它现在被记录为C和C++的静态分析器.

问题:如何运行GCC/Clang进行静态分析？(仅限警告)

编译器选项:-fsyntax-only

Answer 4

小智 21

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

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

我这辈子编译了 1000+ 个程序，但看在上帝的份上，我无论如何都编译不完这个包。我尝试使用 Fedora、Ubuntu、WSL、Cygwin、MSYS2、Windows - 但没有。总是缺少一些东西，文档简直太糟糕了。不要误会我的意思，我想这个工具很棒。但是网站和文档看起来在 10 到 15 年内没有人接触过它们。 (2认同)

Answer 5

Dav*_*one 16

其他人提到了-Weffc ++,但这实际上是我默认情况下没有打开的唯一GCC警告之一.但是,我打开的警告集是我的工具包中最重要的静态分析工具.您可以看到推荐警告的完整列表.

综上所述:

-pedantic -Wall -Wextra -Wcast-align -Wcast-qual -Wctor-dtor-privacy -Wdisabled-optimization -Wformat = 2 -Winit-self -Wlogical-op -Wmissing-declarations -Wmissing-include-dirs -Wnoexcept -Wold -style-cast -Woverloaded-virtual -Wredundant-decls -Wshadow -Wsign-conversion -Wsign-promo -Wstrict-null-sentinel -Wstrict-overflow = 5 -Wswitch-default -Wundef -Werror -Wno-unused

请注意,其中一些需要新版本的gcc,因此如果您再次使用4.5或其他内容,则可能需要从列表中删除它们.

Answer 6

Luc*_*mon 14

John Carmack还在这篇关于"静态代码分析"的有趣博客文章中提到了PVS-Studio.

它既不是"开源",也不是那个词的任何意义上的"自由".它是众所周知的静态分析工具(我认为仅次于覆盖率),但它的价格相当高. (4认同)

Answer 7

use*_*071 7

如果通过开源,你真的意味着"免费",那么微软的早期分析是一个很好的分析.Windows仅限课程.它完全集成在Visual Studio和编译器中.例如:

cl /analyze Sample.cpp

Run Code Online (Sandbox Code Playgroud)

Answer 8

Dan*_*mes 6

Mozilla的静态分析工作可能值得一看.

归档时间：	16 年，11 月前
查看次数：	92145 次
最近记录：	6 年，8 月前