如何使Clang Static Analyzer从命令行输出其工作？

Z时代
2024-01-10
分类：问答

我正在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获得的。

这将大大提高分析仪的实用性，并加快修复速度。

（我已经注意到，GCC的文档非常出色，但是Clang / LLVM的文档非常差。我尝试了“ clang –analyze

-Xanalyzer’-v’”作为暗中尝试，以告诉分析仪更加冗长–Xanalyzer开关来自手册页。）

回答：

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

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

您可以获取完整的html输出：

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

此外，您可以选择要启用的特定检查器。此页面列出了可用的检查。例如，可以使用标志启用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'
}
^

显然前端暴露