静态分析在不运行程序时检查代码,动态分析则需程序执行;前者发现语法错误等潜在问题,后者捕获越界访问等运行时缺陷;二者分层配合,互补提升质量。

静态分析是在不运行程序的情况下检查代码,动态分析则必须在程序执行时收集行为数据。两者目标一致——发现缺陷、提升质量,但时机、手段和能发现的问题类型完全不同。
静态分析:编译前的“代码体检”
它直接读取源码或编译中间表示(如AST、IR),通过规则匹配、数据流分析、控制流分析等技术识别潜在问题。不需要编译成功,也不依赖输入数据。
- 能发现语法错误、未初始化变量、空指针解引用、内存泄漏隐患(如new后无delete)、类型不匹配、未使用的函数或变量
- 典型工具:Clang Static Analyzer、Cppcheck、PVS-Studio、SonarQube(C++插件)
- 适合集成进CI流程,在提交或PR阶段快速拦截低级错误
动态分析:运行时的“行为观察”
它在程序实际执行过程中监控内存访问、调用栈、资源使用等,依赖真实或模拟的输入触发路径,才能暴露问题。
- 能捕获堆栈溢出、越界读写(ASan)、释放后使用(UBSan/ASan)、线程竞争(TSan)、内存泄漏(LeakSanitizer)、未定义行为(UBSan)
- 典型工具:AddressSanitizer(ASan)、UndefinedBehaviorSanitizer(UBSan)、ThreadSanitizer(TSan)、Valgrind(memcheck/helgrind)
- 需要编译时加特定flag(如-fsanitize=address),运行开销大,不适合生产环境,但测试阶段极有效
怎么选?不是二选一,而是分层配合
静态分析快、覆盖面广,但可能误报;动态分析准、证据确凿,但路径覆盖有限。工业级C++项目通常组合使用:
立即学习“C++免费学习笔记(深入)”;
- 开发阶段:IDE内嵌静态检查(如CLion/VS的实时分析) + 提交前本地运行Cppcheck或clang-tidy
- CI阶段:静态扫描(clang-tidy + 自定义规则) + 编译+sanitizer构建并跑单元测试
- 集成测试/压力测试阶段:用ASan+UBSan构建版本长时间运行,配合Valgrind做深度内存审计
基本上就这些。静态看“写得对不对”,动态看“跑得稳不稳”——二者互补,缺一不可。









