UBSan是LLVM/Clang和GCC提供的运行时未定义行为检测工具，可捕获整数溢出、空指针解引用、数组越界、未初始化变量使用、违反严格别名等UB；需编译链接时启用-fsanitize=undefined等选项，并配合-fno-omit-frame-pointer和-g以获得准确堆栈与调试信息。
UBSan 是什么，它能抓哪些未定义行为
UBSan 是 LLVM/Clang 和 GCC 提供的运行时检测工具，专用于捕获 C++ 中的未定义行为（Undefined Behavior），比如 int 溢出、空指针解引用、数组越界读写、使用未初始化的局部变量（需配合 -fsanitize=undefined-trap 或 -fsanitize=uninitialized）、reinterpret_cast 破坏严格别名规则等。它不是静态分析器，也不替代 AddressSanitizer 或 MemorySanitizer —— 它只在触发 UB 的那一刻抛出诊断信息并默认中止程序。
编译时启用 UBSan 的关键选项
UBSan 必须在编译和链接阶段都启用，且推荐使用 Clang（GCC 支持较弱，部分检查项缺失或行为不一致）。最常用组合是：
-
-fsanitize=undefined：启用默认检查集（整数溢出、移位非法、null-dereference、vptr misuse 等） -
-fno-omit-frame-pointer：确保栈回溯可用（否则UBSAN_OPTIONS=print_stacktrace=1无效） -
-g：保留调试信息，让错误输出带行号和变量名 -
-O1或更高：UBSan 在-O0下可能误报或漏报（例如某些优化路径才暴露的溢出）
示例命令：
clang++ -fsanitize=undefined -fno-omit-frame-pointer -g -O1 main.cpp -o main
注意：-fsanitize=undefined 会自动链接 libubsan，无需手动加 -lubsan；但若用 gcc，需确认版本 ≥ 4.9 且仍建议优先用 Clang。
立即学习“C++免费学习笔记（深入）”；
运行时控制 UBSan 行为的环境变量
UBSan 默认一检测到 UB 就中止进程并打印堆栈。可通过 UBSAN_OPTIONS 调整行为：
-
UBSAN_OPTIONS=abort_on_error=1：遇到 UB 直接abort()（默认行为，确保不会静默跳过） -
UBSAN_OPTIONS=print_stacktrace=1：强制打印调用栈（依赖-fno-omit-frame-pointer） -
UBSAN_OPTIONS=halt_on_error=1：触发断点（x86 上是int3），方便用gdb附加调试 -
UBSAN_OPTIONS=report_error_type=1：在错误消息开头显示具体 UB 类型（如signed-integer-overflow） - 可组合使用，例如：
UBSAN_OPTIONS="print_stacktrace=1:halt_on_error=1"
常见误操作：只设 UBSAN_OPTIONS=print_stacktrace=1 却没加 -fno-omit-frame-pointer，结果堆栈全是 ??。
典型误报与必须关闭的检查项
UBSan 并非全安全 —— 某些检查在真实项目中极易误报，尤其涉及底层操作或跨平台代码：
-
-fsanitize=unsigned-integer-overflow：无符号整数溢出本是明确定义的（回绕），但该选项会把它当 UB 报告，**应避免启用** -
-fsanitize=null：对nullptr解引用敏感，但若代码里存在合法的“空指针守卫”模式（如if (p) *p = 1;），而p实际为nullptr，UBSan 可能在条件判断前就触发检查（取决于优化级别），造成误报 -
-fsanitize=vptr：检查虚表指针有效性，但在对象生命周期边界（如析构后访问成员函数）易产生噪声，大型 C++ 项目常选择关闭：-fsanitize=undefined,-vptr
推荐最小可行启用方式：
clang++ -fsanitize=undefined,-unsigned-integer-overflow,-vptr -fno-omit-frame-pointer -g -O1 main.cpp -o main
真正难缠的是那些只在特定输入、特定优化等级、特定 ABI 下才触发的 UB —— UBSan 能帮你抓住它们，但前提是编译参数干净、运行时配置匹配、且你愿意花时间区分真问题和工具噪声。
