如何使 Clang 静态分析器从命令行输出其工作？

Question

我在 Ubuntu 12.10 上运行 Clang 3.4（来自 http://llvm.org/apt/）。我在一些代码上运行了分析器（clang --analyze），它发现了几个问题：

Blah.C:429:9: warning: Declared variable-length array (VLA) has zero size
        unsigned char separatedData[groupDataLength];
        ^~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~

但具体问题并不重要。我想知道它是如何得出这个结论的步骤（代码很复杂，我在 15 分钟内看不到它）。

我看到来自 Clang 网站的屏幕截图，显示了在 Web 浏览器中查看的工作步骤：

这可能是从 Xcode 获得的。

问题是：如何让 Clang 从命令行输出这些工作步骤？或者，如果它愿意，甚至可以将结果输出到浏览器？这将使分析器变得更加有用，并且使修复问题变得更快。

（我注意到 GCC 的文档非常出色，但 Clang/LLVM 的文档很差。我尝试使用“clang --analyze -Xanalyzer '-v'”作为暗中的刺，告诉分析器更详细一点——-Xanalyzer 开关来自手册页。）

Answer 1

你必须使用scanbuild：http://clang-analyzer.llvm.org/scan-build.html

您键入生成构建的命令，但您在它们前面加上 scan-build。

示例： 而不是

make

类型

scan-build make

而不是

./configure
make

类型

scan-build ./configure
scan-build make

在启动分析器之前清除构建，否则make会声明一切都已经构建并且分析器不会运行。

Answer 2

您在正确的轨道上，但要获得导致错误的完整跟踪，您还需要向 clang 询问文本格式的输出（不要问为什么）。因为您可能需要调整例如无论如何，为您的项目包含路径或定义我建议您使用clang-check，它充当clang 分析器通道的包装器。它还可以连接到公开的静态分析器工具，例如scan-build。然后就可以了

$ clang-check -analyze -extra-arg -Xclang -extra-arg -analyzer-output=text

就像您为这些非常好的工具编写的文档一样糟糕透顶。我从Chandler Carruth's GoingNative2013 talk 的点点滴滴拼凑了上面的电话。

Answer 3

除了控制台上的文本输出：

clang++ --analyze -Xanalyzer -analyzer-output=text main.cpp

你可以获得完整的html输出：

clang++ --analyze -Xanalyzer -analyzer-output=html -o html-dir main.cpp

此外，您可以选择要启用的特定检查器。 This page 列出可用的检查。例如，您可以使用以下标志启用 alpha 组中的所有 C++ 检查：

-Xanalyzer -analyzer-checker=alpha.cplusplus

http://coliru.stacked-crooked.com/a/7746c4004704d4a7

main.cpp:5:1: warning: Potential leak of memory pointed to by 'x'
}
^
main.cpp:4:12: note: Memory is allocated
  int *x = new int;
           ^~~~~~~
main.cpp:5:1: note: Potential leak of memory pointed to by 'x'
}
^

---

显然前端暴露了

-analyzer-config =

例如

-analyzer-config -analyzer-checker=alpha.cplusplus

这可能比 -Xanalyzer 得到更好的支持，并且可能会扩展到支持单个检查器的选项：http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-October/039552.html