LLVM的sanitizers是一组用于检测程序运行时错误的工具集，libFuzzer是其中专门用于模糊测试的引擎，二者配合可以自动生成大量随机输入来触发程序潜在的漏洞。下面将从环境准备到实践操作逐步说明使用方法。
环境准备
首先需要确保系统中安装了支持sanitizers和libFuzzer的Clang编译器，主流的Linux发行版可以通过包管理器安装，以Ubuntu为例：
# 安装Clang及配套工具 sudo apt update sudo apt install clang llvm libfuzzer-dev
安装完成后可以通过以下命令验证编译器版本，确保版本不低于6.0，低版本可能不支持完整的libFuzzer特性：
clang --version
编写待测试的目标函数
模糊测试的核心是有一个明确的待测试函数，这个函数需要接收一段输入数据并处理，我们先编写一个简单的示例函数，该函数存在潜在的缓冲区溢出问题：
#include <cstring>
#include <cstdint>
// 待测试的示例函数，存在越界访问风险
void process_data(const uint8_t *data, size_t size) {
char buffer[10];
if (size > 0) {
// 这里没有检查size是否超过buffer容量，存在溢出风险
memcpy(buffer, data, size);
}
}
编写libFuzzer测试用例
libFuzzer要求用户提供一个LLVMFuzzerTestOneInput函数作为入口，该函数会接收模糊测试引擎生成的随机输入，调用待测试的目标函数：
#include <cstdint>
#include <cstddef>
// 声明待测试函数
void process_data(const uint8_t *data, size_t size);
// libFuzzer要求的测试入口函数
extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
// 调用待测试函数，传入模糊测试生成的输入
process_data(data, size);
return 0;
}
编译与运行测试
编译时需要添加sanitizers和libFuzzer相关的编译选项，具体参数如下：
- -fsanitize=address：启用AddressSanitizer，用于检测内存越界、使用已释放内存等问题
- -fsanitize=fuzzer：启用libFuzzer引擎
- -g：添加调试信息，方便定位问题位置
- -O1：使用低优化级别，平衡测试速度和报错准确性
完整的编译命令如下：
clang++ -fsanitize=address,fuzzer -g -O1 test_fuzzer.cpp -o fuzzer_test
编译完成后直接运行生成的可执行文件即可启动模糊测试：
./fuzzer_test
如果程序存在漏洞，libFuzzer会在短时间内生成触发漏洞的输入，并输出详细的错误报告，包括错误类型、触发位置、调用栈等信息。
测试结果分析
当模糊测试触发到漏洞时，输出会包含类似如下的内容：
AddressSanitizer: heap-buffer-overflow on address 0x602000000010 at pc 0x0000004f1234
WRITE of size 20 at 0x602000000010 thread T0
#0 0x4f1233 in memcpy (fuzzer_test+0x4f1233)
#1 0x4f1456 in process_data (fuzzer_test+0x4f1456)
#2 0x4f1589 in LLVMFuzzerTestOneInput (fuzzer_test+0x4f1589)
根据调用栈信息可以快速定位到process_data函数中的memcpy调用存在问题，结合错误信息中的size 20可知是传入的数据长度超过了buffer的10字节容量，从而完成问题修复。
常用优化技巧
在实际项目中可以通过一些配置提升模糊测试的效率：
- 添加-fsanitize=undefined可以额外启用UndefinedBehaviorSanitizer，检测未定义行为
- 使用-max_total_time=300参数限制测试总时长，单位为秒
- 使用-max_len=1024参数限制单条输入的最大长度，减少无效测试
- 对于已知的有效输入，可以放在
corpus目录下，启动测试时指定该目录，libFuzzer会基于这些输入做变异，提升测试覆盖率
例如基于语料库运行的命令如下：
mkdir corpus # 可以预先放入一些合法输入文件到corpus目录 ./fuzzer_test corpus/
注意事项
使用这套工具时需要注意几个问题：
- 模糊测试只能发现测试中触发的问题，无法保证程序完全没有漏洞
- 启用sanitizers会增加程序运行开销，测试耗时比正常运行长属于正常现象
- 对于依赖外部文件、网络等环境的函数，需要先做适配，让函数可以仅依赖输入参数运行，才能适配libFuzzer的测试模式
LLVM_sanitizerslibFuzzerc++_fuzzing模糊测试修改时间：2026-07-01 02:36:38