Clang Static Analyzer没有发现最基本的问题

我想尝试一下 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版本