address sanitizer分析afl crash文件

AddressSanitizer（ASan）是一种内存错误检测工具，可以检测常见的内存错误，如堆缓冲区溢出、栈缓冲区溢出、访问未初始化的内存等。

AFL（American Fuzzy Lop）是一种基于模糊测试的漏洞挖掘工具，它通过随机生成输入来探索程序中可能存在的漏洞。

在进行漏洞挖掘时，经常会遇到程序崩溃的情况。这时可以使用ASan来分析崩溃文件，以确定程序崩溃的原因。

首先，需要在编译程序时加入ASan选项，来启用ASan检测。例如，在使用GCC编译C程序时，需要加上“-fsanitize=address”选项。

接着，使用AFL进行模糊测试，当程序崩溃时，AFL会生成crash文件。可以使用ASan解析crash文件，以确定程序崩溃的原因。

使用ASan分析crash文件的方法如下：

1. 使用“asan_symbolize.py”脚本，将崩溃地址转换为函数名和行号：

$ asan_symbolize.py -v crash_file > symbolized_crash

2. 在symbolized_crash文件中找到“READ”或“WRITE”行，这表示发生了读取或写入非法内存的操作。可以通过该行中的地址和偏移量来确定非法访问的位置。

3. 使用“addr2line”命令，将地址转换为源代码行号：

$ addr2line -e binary_name -f address

其中，binary_name是程序的可执行文件名，address是非法内存访问的地址。

4. 找到源代码中与地址对应的行号，分析原因并修复漏洞。

通过使用ASan分析AFL生成的crash文件，可以更快速、准确地定位程序中的内存错误，提高漏洞挖掘的效率和准确性。