# 地址消毒剂 (ASan) AddressSanitizer (ASan) 是一种广泛采用的内存错误检测工具，在软件测试（尤其是模糊测试）中广泛使用。它有助于检测可能被忽视的内存损坏错误，例如缓冲区溢出、释放后使用错误和其他内存安全违规。 ## 概述 ASan 因其在识别内存漏洞方面的有效性而成为模糊测试的标准实践。它在编译时检测代码以跟踪内存分配和访问，在运行时检测非法操作。 ### 关键概念概念 |描述 ---|--- 仪器仪表| ASan 在编译期间添加了对内存操作的运行时检查影子记忆|映射 20TB 虚拟内存以跟踪分配状态性能成本|与非检测代码相比，速度大约减慢 2-4 倍检测范围|查找缓冲区溢出、释放后使用、双重释放和内存泄漏 ## 何时申请 **在以下情况下应用此技术：** * 模糊测试 C/C++ 代码以查找内存安全漏洞 * 使用不安全块测试 Rust 代码 * 调试与内存损坏相关的崩溃 * 在怀疑内存错误的地方运行单元测试 **在以下情况下跳过此技术：** * 运行生产代码（ASan 会降低安全性） * 平台为 Windows 或 macOS（有限 ASan 支持） * 性能开销对于您的用例来说是不可接受的 * 在没有 FFI 的情况下模糊测试纯安全语言（例如纯 Go、纯 Java） ## 快速参考任务|命令/模式 ---|--- 启用 ASan (Clang/GCC) | `-fsanitize=地址` 启用详细信息 | `ASAN_OPTIONS=详细程度=1` 禁用泄漏检测 | `ASAN_OPTIONS=检测_泄漏=0` 出现错误时强制中止 | `ASAN_OPTIONS=abort_on_error=1` 多种选择| `ASAN_OPTIONS=详细=1:abort_on_error=1` ## 一步一步 ### 第 1 步：使用 ASan 编译使用“-fsanitize=address”标志编译并链接您的代码： clang -fsanitize=地址 -g -o my_program my_program.c 建议使用“-g”标志，以便在 ASan 检测到错误时获得更好的堆栈跟踪。 ### 步骤 2：配置 ASan 选项设置 `ASAN_OPTIONS` 环境变量来配置 ASan 行为：导出 ASAN_OPTIONS=详细=1:abort_on_error=1:detect_leaks=0 ### 第 3 步：运行您的程序执行 ASan 检测的二进制文件。当检测到内存错误时，ASan 将打印详细报告： ./我的程序 ### 步骤 4：调整模糊器内存限制 ASan 需要大约 20TB 的虚拟内存。禁用模糊器内存限制： * libFuzzer: `-rss_limit_mb=0` * AFL++: `-m 无` ## 常见模式 ### 模式：基本 ASan 集成 **用例：** 使用 ASan 进行标准模糊测试设置 **之前：** clang -o fuzz_target fuzz_target.c ./模糊目标 **之后：** clang -fsanitize=地址 -g -o fuzz_target fuzz_target.c ASAN_OPTIONS=verbosity=1:abort_on_error=1 ./fuzz_target ### 模式：带有单元测试的 ASan **用例：** 为单元测试套件启用 ASan **之前：** gcc -o test_suite test_suite.c -lcheck ./测试套件 **之后：** gcc -fsanitize=地址 -g -o test_suite test_suite.c -lcheck ASAN_OPTIONS=detect_leaks=1 ./test_suite ## 高级用法 ### 提示和技巧提示 |为什么它有帮助 ---|--- 使用 `-g` 标志 |提供详细的堆栈跟踪以供调试设置“详细程度=1”|在程序启动前确认 ASan 已启用在模糊测试期间禁用泄漏 |泄漏检测不会立即导致崩溃、混乱输出启用 `abort_on_error=1` |一些模糊器需要 `abort()` 而不是 `_exit()` ### 了解 ASan 报告当 ASan 检测到内存错误时，它会打印详细报告，包括： * **错误类型** ：缓冲区溢出、释放后使用等。 * **堆栈跟踪** ：发生错误的位置 * **分配/释放跟踪**：内存分配/释放的位置 * **内存映射** ：错误周围的影子内存状态 ASan 报告示例： ==12345==错误：AddressSanitizer：PC 0x00000048e6a3 地址 0x60300000eff4 上的堆缓冲区溢出在 0x60300000eff4 线程 T0 处读取大小 4 主 /path/to/file.c:42 中的 #0 0x48e6a2 ### 组合消毒剂 ASan可以与其他消毒剂结合进行全面检测： clang -fsanitize=地址，未定义 -g -o fuzz_target fuzz_target.c ### 特定于平台的注意事项 **Linux**：完整的 ASan 支持，具有最佳性能 **macOS**：有限支持，某些功能可能不起作用 **Windows**：实验性支持，不建议用于生产模糊测试 ## 反模式反模式 |问题 |正确的做法 ---|---|--- 在生产中使用 ASan |可能会降低应用程序的安全性 |仅使用 ASan 进行测试不禁用内存限制| Fuzzer 可能因 20TB 虚拟内存而终止进程 |设置 `-rss_limit_mb=0` 或 `-m none` 忽略泄漏报告 |内存泄漏表明资源管理问题在模糊测试活动结束时查看泄漏报告 ## 工具特定指南 ### libFuzzer 使用模糊器和地址清理器进行编译： clang++ -fsanitize=fuzzer,地址 -gharness.cc -o fuzz 使用无限 RSS 运行： ./模糊-rss_limit_mb=0 **整合技巧：** * 始终将 `-fsanitize=fuzzer` 与 `-fsanitize=address` 结合起来 * 在崩溃报告中使用“-g”获取详细的堆栈跟踪 * 考虑 `ASAN_OPTIONS=abort_on_error=1` 以获得更好的崩溃处理请参阅：[libFuzzer：AddressSanitizer]（） ### AFL++ 使用`AFL_USE_ASAN`环境变量： AFL_USE_ASAN=1 afl-clang-fast++ -gharness.cc -o fuzz 以无限内存运行： afl-fuzz -m 无 -i 输入目录 -o 输出目录 ./fuzz **整合技巧：** * `AFL_USE_ASAN=1` 自动添加正确的编译标志 * 使用 `-m none` 禁用 AFL++ 的内存限制 * 对于具有大覆盖地图的程序，请考虑“AFL_MAP_SIZE” 请参阅：[AFL++：AddressSanitizer]() ### 货物绒毛（Rust）使用“--sanitizer=address”标志：货物模糊运行 fuzz_target --sanitizer=address 或者在 `fuzz/Cargo.toml` 中配置： [简介.发布] 选择级别 = 3 调试=真 **整合技巧：** * ASan 对于模糊不安全的 Rust 代码或 FFI 边界非常有用 * 安全 Rust 代码可能不会受益那么多（编译器已经防止了许多错误） * 关注不安全块、原始指针和 C 库绑定请参阅：[cargo-fuzz：AddressSanitizer]() ### 洪格弗兹用 ASan 编译并用 honggfuzz 链接： honggfuzz -i 输入目录 -o 输出目录 -- ./fuzz_target_asan 编译目标： hfuzz-clang -fsanitize=地址 -g target.c -o fuzz_target_asan **整合技巧：** * honggfuzz 与 ASan 开箱即用，配合良好 * 使用反馈驱动模式更好地覆盖消毒剂 * 监控内存使用情况，因为 ASan 会增加内存占用 ## 故障排除问题 |原因 |解决方案 ---|---|--- 模糊器立即终止进程 | ASan 的 20TB 虚拟内存的内存限制太低 |使用 `-rss_limit_mb=0` (libFuzzer) 或 `-m none` (AFL++) “ASan 运行时未初始化”|错误的链接顺序或缺少运行时间 |确保在编译和链接中使用“-fsanitize=address” 泄漏报告杂乱输出 | LeakSanitizer 默认启用 |设置 `ASAN_OPTIONS=detect_leaks=0` 性能不佳（速度减慢 >4 倍）|调试模式或未优化的构建 |使用“-O2”或“-O3”与“-fsanitize=address”一起编译 ASan 未检测到明显的错误 |二进制未检测 |检查 `ASAN_OPTIONS=verbosity=1` 是否 ASan 打印启动信息误报 |拦截器冲突 |检查 ASan 常见问题解答以了解特定库的已知问题 ## 相关技能 ### 使用此技术的工具技能|如何应用 ---|--- **libfuzzer** |使用“-fsanitize=fuzzer,address”进行编译，以实现具有内存错误检测的集成模糊测试 **aflpp** |编译期间使用`AFL_USE_ASAN=1`环境变量 **货物模糊** |使用 `--sanitizer=address` 标志为 Rust 模糊目标启用 ASan **洪格弗兹** |使用“-fsanitize=address”编译目标以进行 ASan 检测的模糊测试 ### 相关技术技能|关系 ---|--- **未定义行为消毒剂** |通常与 ASan 一起使用以进行全面的错误检测（未定义的行为 + 内存错误） **模糊线束写作** |线束的设计必须能够处理 ASan 检测到的碰撞并避免误报 **覆盖率分析** |覆盖范围引导的模糊测试有助于触发 ASan 可以检测内存错误的代码路径 ## 资源 ### 关键外部资源 **[Google Sanitizers Wiki 上的 AddressSanitizer]()** ASan 官方文档涵盖： * 算法及实现细节 * 检测到的错误类型的完整列表 * 性能特征和开销 * 特定于平台的行为 * 已知的限制和不兼容性 **[SanitizerCommonFlags]()** 所有消毒剂共享的通用配置标志： * `verbosity`：控制诊断输出级别 * `log_path`：将清理程序输出重定向到文件 * `symbolize`：在报告中启用/禁用符号解析 * `external_symbolizer_path`：使用自定义符号器 **[AddressSanitizerFlags]()** ASan 特定的配置选项： * `detect_leaks`：控制内存泄漏检测 * `abort_on_error`：出错时调用 `abort()` 与 `_exit()` * `detect_stack_use_after_return`: 检测堆栈使用后返回错误 * `check_initialization_order`：查找初始化顺序错误 **[AddressSanitizer 常见问题解答]()** 常见陷阱及解决方案： * 链接顺序问题 * 与其他工具的冲突 * 平台特定问题 * 性能调整技巧 **[Clang AddressSanitizer 文档]()** Clang 特定指导： * 编译标志和选项 * 与其他 Clang 功能的交互 * 支持的平台和架构 **[GCC 检测选项]()** GCC 特定的 ASan 文档： * GCC 特定的标志和行为 * 与 Clang 实现的差异 * GCC 平台支持 **[AddressSanitizer：快速地址完整性检查器（USENIX 论文）]()** 原始研究论文及技术细节： * 影子内存算法 * 虚拟内存要求（以前为 16TB，现在约为 20TB） * 性能基准 * 设计决策和权衡

地址消毒剂

包含技能