在CPP源代码中列出可能的null dereference或forward null

Question

是否有一个工具可以进行静态分析并找到可能的前向null和可能的空取消引用情况。 我知道覆盖率非常多，而且还有cpp检查。 但是当我看到用户定义的数据类型时，我发现它很有用。

请提供一个解决方案，它也可以处理用户定义的数据类型，并且可以使用C ++代码。

Answer 1

您可以尝试

Cppcheck - Cppcheck是一个用于C / C ++代码的静态分析工具。与C / C ++编译器和许多其他分析工具不同，它不会检测代码中的语法错误。 Cppcheck主要检测编译器通常无法检测到的错误类型。目标是仅检测代码中的实际错误（即假阳性为零）。

Coverity-Scan - 静态分析免费查找和修复Java，C / C ++，C＃或JavaScript开源项目中的缺陷。测试每行代码和潜在的执行路径。

还有很多其他工具，包括开源和商业。 祝你好运。