用于C ++的开源静态代码分析工具

时间:2010-06-23 07:45:40

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

  

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

哪种开源静态C ++(不仅仅是C)代码分析工具最适合将代码移植到64位平台?

3 个答案:

答案 0 :(得分:1)

如果使用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 :(得分:1)

由于LARGEADDRESSAWARE,我正在寻找类似的东西。

据我所知,没有这样的开源工具可用。有Cppcheck,但与商业工具相比,它只提供非常少的支票,而且它们似乎都不是64b相关的。

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

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

答案 2 :(得分:1)

我们使用cppcheck。我不确定它适用于64位,但也许值得一看。