UBSan编译时必须加-fsanitize=undefined，否则其他配置无效；它是编译期插桩工具，需配合-fno-omit-frame-pointer、-g和-O2（避免-O3），Clang命令相同，MSVC不支持。
UBSan 编译时必须加 -fsanitize=undefined
不加这个 flag，其他所有配置都无效。UBSan 是编译期注入检测逻辑的工具，不是运行时动态加载的库。常见错误是只加了 -fsanitize=address 或漏掉 -fno-omit-frame-pointer，导致部分检查（比如移位越界、返回未初始化值）静默失效。
推荐基础编译命令：
g++ -fsanitize=undefined -fno-omit-frame-pointer -g -O2 main.cpp -o main
-
-g必须带上，否则报错时看不到源码行号 -
-O2可以保留（UBSan 在优化后仍有效），但避免用-O3中某些激进优化（如循环展开可能掩盖未定义行为的触发路径） - Clang 也支持，命令完全一致；MSVC 不支持 UBSan，别白费劲
运行时报 runtime error: member call on address XXXX which is not aligned 怎么办
这是典型的内存对齐违规，常见于 reinterpret_cast 强转或 packed struct 成员访问。UBSan 在 x86_64 上严格检查 int64_t、double 等类型是否按 8 字节对齐。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 检查是否用了
#pragma pack(1)或__attribute__((packed))，并在访问对齐敏感字段前手动 memcpy 到对齐变量 - 避免直接
reinterpret_cast<int64_t*>(buf + offset)，改用std::memcpy(&val, buf + offset, sizeof(val)) - 若必须用指针解引用，加
-fsanitize=undefined -fsanitize-align（GCC 12+/Clang 14+）显式启用对齐检查，方便定位
为什么 int x = 1 没报错？
UBSan 默认不开启所有子检查项。左移位数 ≥ 类型宽度属于「shift」类未定义行为，但需要显式启用：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
g++ -fsanitize=undefined -fsanitize=shift -g main.cpp
常用子检查项还有：
-
-fsanitize=integer-divide-by-zero：除零（默认开启） -
-fsanitize=signed-integer-overflow：有符号溢出（默认开启） -
-fsanitize=null：空指针解引用（默认开启） -
-fsanitize=vla-bound：变长数组越界（需额外加）
完整列表查 gcc -fsanitize=help，但别全开——部分检查（如 float-cast-overflow）会显著拖慢运行速度。
和 AddressSanitizer（ASan）一起用要注意什么
可以共存，但顺序和链接方式很关键。UBSan 和 ASan 共享部分运行时库，混用时容易符号冲突或漏检。
正确做法：
- 统一用同一套 sanitizer 运行时：同时加
-fsanitize=address,undefined，而不是分两次编译 - 避免单独链接
libubsan.a或libasan.a，让编译器自动选兼容版本 - 若程序用 dlopen 加载插件，UBSan 对插件内未定义行为默认不检测——得在插件编译时也加相同 flag
最易忽略的是信号处理：UBSan 错误默认调用 abort()，而 ASan 有时会安装自己的 signal handler。如果代码里 catch 了 SIGABRT，可能掩盖真实错误位置。
