scan-build 是 clang 静态分析器的构建拦截工具，通过重放编译命令分析 AST 和 CFG，仅检查实际编译代码，支持宏展开与模板实例化，但不分析未编译分支；需配合 Ninja/Make 正确拦截、禁用 ccache，并合理启用 C++ 专用 checker。
scan-build 是什么，它真能发现 clang++ 编译器漏掉的问题？
不是“额外加一层扫描”，scan-build 本质是拦截编译命令、重放为带静态分析的 clang 调用，并聚合报告。它不分析源码本身，而是分析编译过程中生成的 AST 和控制流图——这意味着：只有被实际编译进目标的代码才会被检查；宏展开后、模板实例化后的逻辑也能覆盖；但未参与编译的 #ifdef 分支或未实例化的模板函数不会触发告警。
它比直接用 clang++ -Xclang -analyzer-checker=core.DivideZero 更实用，因为不用手动拼一堆 analyzer 参数，且能自动处理多文件依赖和构建系统集成。
怎么让 scan-build 正确捕获 CMake 项目的完整编译过程？
CMake 默认用 make 或 ninja 驱动，而 scan-build 必须在构建工具调用编译器前完成拦截。常见失败是只扫了部分文件，或报 no input files——根本原因是构建系统没把编译命令真正交给 clang++，而是用了缓存、响应文件（@response-file）或 wrapper 脚本。
- 用
cmake -G Ninja -DCMAKE_CXX_COMPILER=clang++ -DCMAKE_C_COMPILER=clang显式指定编译器，避免隐式 fallback 到 gcc - 执行时不要用
make，改用scan-build --use-c++-compiler --status-bugs ninja（Ninja 场景）或scan-build --use-c++-compiler make（Makefile 场景） - 如果项目含
ccache，必须禁用：export CCACHE_DISABLE=1，否则scan-build拦不到真实编译命令 - 遇到
error: no input files，加--verbose看它实际拦截了哪些命令；若看到调用的是/usr/lib/ccache/clang++，说明 ccache 没关干净
哪些 checker 对 C++ 项目最实用，又容易误报？
scan-build 默认启用的 checker（如 core、unix、cplusplus）已覆盖大部分内存和资源问题，但 C++ 特有场景需手动开几个关键项。别盲目全开 -analyzer-checker=all，那会引入大量模板元编程或 std::move 语义相关的噪音。
立即学习“C++免费学习笔记（深入）”；
- 必开：
-Xclang -analyzer-checker=cplusplus.NewDelete（检测 new/delete 不匹配、placement new 后忘调构造函数） - 推荐开：
-Xclang -analyzer-checker=optin.cplusplus.VirtualCall（虚函数调用发生在构造/析构期间的未定义行为） - 慎开：
-Xclang -analyzer-checker=alpha.core.CastToStruct（对 reinterpret_cast 的过度敏感，尤其在序列化代码中常误报） - 注意：C++20 概念（concepts）和模块（modules）目前不被 analyzer 支持，含这些特性的 TU 会被跳过，无警告也不报错
报告里出现 “Path note” 却没标红错误，是漏检还是故意忽略？
这是 scan-build 最易误解的点：它默认只展示“可到达的缺陷路径”（reachable bug path），而很多潜在问题因控制流不可达（比如某个 if 分支恒为 false）被静默过滤。你看到的 HTML 报告里灰色的 Path note，其实是 analyzer 推理出的中间状态，不是最终缺陷。
想看更激进的分析结果，加 --enable-checker debug.DumpCFG 看 CFG 图，或用 --analyze-headers 强制检查头文件（但会显著拖慢速度且增加误报）。更实际的做法是：在怀疑某段逻辑有问题时，单独提取该 TU，用 clang++ -std=c++17 -Xclang -analyzer-checker=core -Xclang -analyzer-output=text 直接跑，绕过构建系统干扰。
真正麻烦的是跨编译单元的资源泄漏（比如 A.cpp 分配、B.cpp 释放），scan-build 默认不跨 TU 追踪，这类问题得靠 -Xclang -analyzer-config -Xclang interprocedural=true，但会极大增加内存占用——8GB 内存的机器扫万行项目可能 OOM。
