static-analysis - 在 CPP 源代码中列出可能的 null 取消引用或转发 null

Question

是否有一种工具可以进行静态分析并找到可能的前向 null 和可能的 null 取消引用情况。我知道覆盖率几乎被使用过，而且还有 cpp 检查。但是当涉及到用户定义的数据类型时，我发现它没有用。

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

Answer 1

你可以试试

Cppcheck - Cppcheck 是 C/C++ 代码的静态分析工具。与 C/C++ 编译器和许多其他分析工具不同，它不会检测代码中的语法错误。Cppcheck 主要检测编译器通常不会检测到的错误类型。目标是只检测代码中的真正错误（即误报为零）。

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

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