在 C 语言开发中，未定义行为（Undefined Behavior, UB）是埋在代码里的定时炸弹 —— 编译器只针对 “正确逻辑” 生成代码，一旦遇到数组越界、整数溢出等错误，往往不会报错，而是直接忽略，导致代码 “看似能跑” 却暗藏安全隐患。Linux 内核提供的Undefined Behavior Sanitizer（UBSAN） 工具，通过编译时插桩（CTI）能在运行时精准捕捉这类 UB，尤其适合内核开发和测试阶段。
3 个赞