2024年5月25日发(作者：)

addresssanitizer 原理

AddressSanitizer（ASan）是一种内存错误检测工具，常用于

C/C++语言的程序开发中。它能够帮助开发人员在运行时检测出内存

错误，如缓冲区溢出、使用未初始化的内存和内存释放后继续访问

等。本文将介绍AddressSanitizer的原理和工作方式。

AddressSanitizer的原理是通过在程序运行时对内存进行动态插桩

和监测来检测内存错误。它使用了两种技术：内存影子（Shadow

Memory）和红区（Redzone）。

AddressSanitizer会为每一个分配的内存块分配一个相同大小的内

存影子。这个内存影子的作用是记录每一个字节的状态，以及该字

节是否已被访问。在内存分配时，AddressSanitizer会将内存影子

的状态设置为未访问。当程序访问该内存时，AddressSanitizer会

检查影子的状态，如果发现该内存已被访问，则表示存在内存错误。

AddressSanitizer还会在每一个内存块的边界添加红区。红区是一

段未分配的内存，用于检测缓冲区溢出错误。当程序试图访问红区

时，AddressSanitizer会立即检测到，并报告相应的错误。

当程序运行时，AddressSanitizer会在内存访问发生时进行监测，

并在检测到内存错误时打印相应的错误信息。这些错误信息包括错

误类型、错误位置和错误堆栈等。开发人员可以根据这些信息定位

和修复内存错误。

AddressSanitizer的工作方式如下：

1. 插桩：在编译源代码时，AddressSanitizer会对所有的内存访

问进行插桩操作。插桩操作会添加一些额外的代码，用于监测内存

访问和更新内存影子的状态。

2. 运行时检测：当程序运行时，AddressSanitizer会监测每一次

内存访问，并根据内存影子的状态判断是否存在内存错误。如果发

现内存错误，AddressSanitizer会打印相应的错误信息。

3. 错误报告：当AddressSanitizer检测到内存错误时，会打印错

误信息到标准输出或日志文件中。错误信息包括错误类型、错误位

置和错误堆栈等，可以帮助开发人员定位和修复内存错误。

AddressSanitizer具有以下优点：

1. 高效性：AddressSanitizer通过动态插桩和监测的方式进行内

存错误检测，不需要进行静态分析和重编译，因此对程序的性能影

响较小。

2. 易用性：AddressSanitizer可以与常用的编译器配合使用，如

GCC和Clang。开发人员只需要在编译源代码时添加相应的编译选项，

即可启用AddressSanitizer进行内存错误检测。

3. 准确性：AddressSanitizer能够检测出多种内存错误，如缓冲

区溢出、使用未初始化的内存和内存释放后继续访问等。它能够提

供准确的错误信息，帮助开发人员定位和修复内存错误。

总结起来，AddressSanitizer是一种强大的内存错误检测工具，通

过动态插桩和监测的方式能够有效地检测出内存错误。它的原理是

基于内存影子和红区的技术，能够提供准确的错误信息，帮助开发

人员提高程序的质量和稳定性。在实际的程序开发中，我们可以使

用AddressSanitizer来检测和修复内存错误，以提高程序的安全性

和可靠性。