Clang 的 scan-build 是轻量易用的静态分析工具，可检测空指针解引用、内存泄漏等潜在 bug；无需修改代码或深度集成构建系统，支持 macOS/Xcode 自带及 Linux/WSL 安装，通过包裹编译命令生成 HTML 报告，并提供增强选项与误报处理机制。
Clang 的 scan-build 是一个轻量、易用且效果出色的静态分析工具，能帮你提前发现 C++ 中的空指针解引用、内存泄漏、未初始化变量、死代码、逻辑矛盾等潜在 bug。它不需修改代码，也不依赖构建系统深度集成，适合快速上手。
安装 scan-build 工具
macOS 用户通常已随 Xcode 命令行工具自带：
xcode-select --install 确保安装后，scan-build 就可用。
Linux 或 Windows（WSL）用户可通过 LLVM 官方包安装，例如 Ubuntu：
-
sudo apt install clang（含
scan-build） - 或从 llvm.org/releases 下载预编译二进制，把
bin/加入 PATH
基本使用：替换编译命令
核心思路是用 scan-build 包裹你的构建命令，让它在编译过程中捕获 AST 并分析。比如你原本用 make 或 g++ 编译：
- 直接分析单个文件：
scan-build clang++ -std=c++17 main.cpp -o main - 分析整个 CMake 项目（推荐）：
scan-build cmake -B build && scan-build --use-c++=clang++ --use-cc=clang -o report/ cmake --build build - 配合 Makefile：
scan-build make clean && scan-build make
分析完成后，会自动生成 HTML 报告，默认打开浏览器显示结果（路径如 report/index.html），每条警告都带代码上下文和执行路径高亮。
常用增强选项提升检出率
默认分析较保守，加几个参数可显著提升敏感度和实用性：
立即学习“C++免费学习笔记（深入）”；
-
--enable-checker 启用特定检查器，例如：
scan-build --enable-checker core.NullDereference,unix.Malloc,deadcode.DeadStores ... - -analyze-headers 分析头文件（默认跳过，但模板/内联函数问题常藏在头里）
- --keep-temps 保留中间分析文件，便于调试误报
- --status-bugs 让命令行输出“Found N bugs”，方便 CI 中判断失败
识别常见误报与合理忽略
静态分析难免有误报，尤其涉及复杂 RAII、跨线程假定或宏展开时。不要盲目修复，先确认是否真问题：
- 若某警告明显是误报（如智能指针生命周期被分析器误判），可用
// NOLINTNEXTLINE(clang-analyzer-core.NullDereference)注释临时屏蔽 - 全局忽略某类检查：用 --disable-checker core.UndefinedBinaryOperatorResult
- 检查报告中的“Path”是否真实可达——有时分析器因路径爆炸做了简化假设，需结合运行时行为判断
建议将 scan-build 加入 PR 检查流程，只对新增/修改代码触发分析，平衡效率与质量。
基本上就这些。不用改构建系统，几条命令就能让 C++ 代码更健壮。关键是养成习惯：写完功能，顺手跑一遍 scan-build，很多低级 bug 就在编译阶段消失了。
