ASAN与UBSAN运行时选项配置指南

1. ASAN与UBSAN运行时选项深度解析

在C/C++开发中，内存错误和未定义行为是两类最棘手的bug类型。AddressSanitizer（ASAN）和UndefinedBehaviorSanitizer（UBSAN）作为LLVM工具链中的两大神器，通过运行时检测机制为开发者提供了强大的错误诊断能力。但很多人可能不知道，通过环境变量ASAN_OPTIONS和UBSAN_OPTIONS，我们可以对这些检测行为进行精细控制。

我曾在多个大型C++项目中实践发现，合理配置这些运行时flag能显著提升调试效率。比如在某个数据库引擎项目中，通过设置detect_stack_use_after_return=1，我们成功捕捉到一个只在特定调用栈深度才会触发的use-after-return错误。本文将系统梳理这些关键flag的功能和使用场景。

2. ASAN_OPTIONS核心flag详解

2.1 内存错误检测配置

alloc_dealloc_mismatch=1：检测malloc/delete或new/free等不匹配的内存操作。这个选项特别适合在大型代码库中检查内存管理的一致性。实测发现，开启后会有约5%的性能开销，但对发现潜在问题非常有效。

detect_leaks=1：启用内存泄漏检测。建议在测试环境中始终开启，但要注意它会导致程序退出时进行全内存扫描，可能使退出延迟数秒。对于长期运行的服务进程，可以考虑在CI环境中使用。

max_free_fill_size=16：在释放内存时填充指定字节数的特定模式（默认为0xfd）。这个功能对于检测use-after-free错误特别有用，因为非法访问填充区域会触发立即报错。

2.2 错误处理与报告控制

abort_on_error=1：在检测到第一个错误时立即终止程序。在自动化测试场景中特别有用，可以防止一个错误引发后续大量无关报错。但调试时可能需要关闭以便收集完整错误信息。

log_path=asan.log：将报告输出到指定文件而非stderr。对于多进程程序，可以使用%p格式符自动包含进程ID，如log_path=asan_%p.log。

verbosity=1：控制输出详细程度（0-2）。级别1会显示错误相关的堆栈变量信息，级别2