C ++的开源静态代码分析工具[重复]答案

【问题标题】：Open-source static code analysis tools for C++ [duplicate]C ++的开源静态代码分析工具[重复]
【发布时间】：2010-06-23 07:45:40
【问题描述】：

可能重复：
What open source C++ static analysis tools are available?

哪些开源静态 C++（不仅仅是 C）代码分析工具最适合将代码移植到 64 位平台？

【问题讨论】：

标签： c++ 64-bit static-analysis

【解决方案1】：

我们使用cppcheck。我不确定它在多大程度上适用于 64 位，但也许值得一看。

【讨论】：

【解决方案2】：

因为LARGEADDRESSAWARE，我一直在寻找这样的东西。

据我所知，没有这样的开源工具可用。有Cppcheck，但与商业工具相比，它只提供很少的检查，而且似乎都与 64b 无关。

在某种程度上，您可以使用编译器的内置功能（Visual Studio 的“检测 64 位可移植性问题”，gcc 的 -Wall -Wextra -Wpedantic）。如果您想进行更深入的分析，商业的PC lint 或PVS-Studio Code Analyzer 可能是最知名的。

涉及同一主题的其他问题：

【讨论】：

【解决方案3】：

如果您使用visual studio，则有一个开关“检测 64 位可移植性问题”。

如果您使用gcc 与-Wall -Wextra -Wpedantic 一起编译，那么它还应该通知您有关可移植性问题。

您也可以使用splint（仅限C）等等。有很多这样的工具。

还有 C++ 的商业版本（来自维基百科）：

* Green Hills Software DoubleCheck — static analysis for C and C++ code.
* LDRA Testbed — A software analysis and testing tool suite for C & C++.
* PC-Lint — A software analysis tool for C & C++.
* QA-C (and QA-C++) — deep static analysis of C for quality assurance and guideline enforcement.
* Red Lizard's Goanna — Static analysis for C/C++ in Eclipse and Visual Studio.
* BEAM — IBM Checking Tool for Bugs Errors and Mistakes

【讨论】：

+1 @suma 如果有人能找到 C++ 的等价物，我想知道（我已经搜索了多年，所以不要期望感到惊讶）