我想尝试一下 clang 静态分析器。我在 Windows 上使用 Visual Studio 构建 clang。它似乎有效,但同时又似乎极其无用。
我做了一个示例文件
示例.c
int main(void)
{
int h = 0;
return 1/h;
}
Calling scan-build gcc -c example.c
发现没有错误。
示例.c
int main(void)
{
int h;
return 1/h;
}
Calling scan-build gcc -c example.c
发现没有错误。
示例.c
int main(void)
{
return 1/0;
}
Calling scan-build gcc -c example.c
发现没有错误。
如果这些最基本的错误都找不到(clang本身就能找到),静态分析器还有什么用呢?
My gcc
是 MinGW(如果重要的话)。我也尝试过替换clang
但什么也没发生。
我在这里做错了什么吗?
请务必使用 build-scan -v (详细)来查看是否实际运行 clang 检查器。
我按照这个教程http://web.cs.ucla.edu/~tianyi.zhang/tutorial.html http://web.cs.ucla.edu/~tianyi.zhang/tutorial.html当我尝试 C++ 示例时,它没有在有错误的代码中显示任何错误。
-v 向我显示提供的 Makefile 已损坏 - 在我修复 clang 后仍然没有检测到错误,但 g++ 显示了该错误。
也许他们关闭了那个特定的检查。
Clang 静态分析器版本 3.8
本教程使用3.2版本
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)