clang支持的运行时问题检测工具（各种Sanitizers）

Clang 代码生成控制选项解析（Sanitizers 系列）

---

核心功能概述

这些 -fsanitize 参数用于在 编译时注入运行时检测代码 ，帮助开发者捕获程序中的各类隐藏问题，是调试复杂程序行为的利器。

---

主要检测工具详解

参数	功能定位	典型应用场景	性能影响	限制条件
-fsanitize=address	内存安全卫士（ASAN）	堆栈越界、释放后使用、内存泄漏	2-5x	不能与 thread/memory 同用
-fsanitize=thread	多线程侦探（TSAN）	数据竞争、死锁检测	5-10x	需所有代码插桩
-fsanitize=memory	内存污染检测（MSAN）	未初始化内存读取	3-6x	必须全程序插桩
-fsanitize=undefined	快速行为扫描（UBSAN）	整数溢出、空指针、类型转换错误	<1.2x	支持细粒度控制
-fsanitize=cfi	控制流防护盾（CFI）	函数跳转劫持防护	1.5-2x	需启用 LTO 优化
-fsanitize=safe-stack	安全栈隔离	防御栈溢出攻击	<5%	需系统支持

分层启用建议：

# 开发阶段：全面检测
DEV_FLAGS="-fsanitize=undefined -fsanitize=address"

# CI阶段：专项检测
CI_FLAGS="-fsanitize=thread"

# 生产环境：安全强化
PROD_FLAGS="-fsanitize=safe-stack -fsanitize=cfi"

检测类型	优化手段	效果预估
ASAN	ASAN_OPTIONS=quarantine_size=1024	内存降低 20-30%
TSAN	TSAN_OPTIONS=history_size=3	速度提升 40%
UBSAN	-fno-sanitize=alignment	减少检测项

掌握这些工具的组合使用和调优技巧，能显著提升代码质量与安全防护能力。