C++怎么使用libfuzzer进行模糊测试_C++测试工具与libfuzzer使用

胖墨小哥_6924

胖墨小哥_6924

2025-12-14

340人浏览

原创

答案是使用LibFuzzer进行C++模糊测试需编写LLVMFuzzerTestOneInput函数作为入口,通过clang++启用-fsanitize=fuzzer编译插桩,将字节流转换为有意义输入并调用被测函数,结合AddressSanitizer检测内存错误,可选词典和种子语料库提升效率,运行时自动变异输入寻找崩溃,发现漏洞后保存用例便于复现。

c++怎么使用libfuzzer进行模糊测试_c++测试工具与libfuzzer使用

使用LibFuzzer进行C++模糊测试,核心在于编写一个符合规范的 fuzz target 函数,并将其与 LibFuzzer 链接编译。整个过程不依赖外部测试用例输入,而是通过内存中生成和变异数据实现高效覆盖测试。

fuzz target 函数:入口点

LibFuzzer 要求你定义一个名为 LLVMFuzzerTestOneInput 的函数,这是每次模糊测试执行的入口。它接收一个指向数据的指针和长度:

extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) {
    // 解析 data 并调用被测函数
    return 0;
}

返回值通常为0,非0值可用于特殊控制(如崩溃模拟),一般保持默认即可。

编译与链接:启用插桩

必须使用 Clang 编译器(支持 -fsanitize=fuzzer)并开启插桩选项。基本命令如下:

  • clang++ -fsanitize=fuzzer,address -g -O1 -fno-omit-frame-pointer
  • 编译你的源码和 fuzz target 文件
  • 链接后生成可执行 fuzz 程序

常用 sanitizer 包括 address(检测内存错误)、undefined(未定义行为)、coverage(覆盖率)。address 最常用,能捕捉越界、use-after-free 等问题。

编写有效的 fuzz test

在 LLVMFuzzerTestOneInput 中,你需要将原始字节流转换成有意义的输入。例如测试一个解析 JSON 的函数:

Expanso json-flatten
Expanso json-flatten

通过 CLI 或 MCP 服务器,使用 Expanso Edge 管道扁平化嵌套 JSON 对象。

下载
extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) {
    std::string input(data, data + size);
    try {
        parse_json(input);  // 被测函数
    } catch (...) {
        // 忽略异常,避免干扰 fuzzing 流程
    }
    return 0;
}

注意不要让异常中断 fuzzing 循环。如果被测逻辑可能抛出异常,应捕获并继续。

词典与种子语料库:提升效率

LibFuzzer 支持通过词典(.dict 文件)指导变异方向。例如对 JSON 测试,可以添加常见关键字:

{"key": "value"} "string" null true false

使用 -dict=your.dict 启动 fuzzing。还可以提供初始语料目录,帮助快速进入高覆盖路径:
./fuzz_test_corpus_dir

运行与结果分析

直接执行生成的二进制文件即可启动 fuzzing:

./fuzz_test

LibFuzzer 会持续输出当前迭代数、覆盖率、执行速度等信息。若发现崩溃,会自动保存导致问题的输入到磁盘(如 crash-xxxx)。之后可用该文件复现问题:

./fuzz_test crash-xxxx

基本上就这些。关键在于写出健壮的 fuzz target,配合 sanitizer 和合理输入处理,就能有效暴露深层 bug。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
json数据格式
json数据格式

JSON是一种轻量级的数据交换格式。本专题为大家带来json数据格式相关文章,帮助大家解决问题。

2023.08.07

2215

5

json是什么
json是什么

JSON是一种轻量级的数据交换格式,具有简洁、易读、跨平台和语言的特点,JSON数据是通过键值对的方式进行组织,其中键是字符串,值可以是字符串、数值、布尔值、数组、对象或者null,在Web开发、数据交换和配置文件等方面得到广泛应用。本专题为大家提供json相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.23

3502

1

jquery怎么操作json
jquery怎么操作json

操作的方法有:1、“$.parseJSON(jsonString)”2、“$.getJSON(url, data, success)”;3、“$.each(obj, callback)”;4、“$.ajax()”。更多jquery怎么操作json的详细内容,可以访问本专题下面的文章。

2023.10.13

1176

3

go语言处理json数据方法
go语言处理json数据方法

本专题整合了go语言中处理json数据方法,阅读专题下面的文章了解更多详细内容。

2025.09.10

4039

7

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

6879

3

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

2024.03.01

1698

6

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

379

31

undefined是什么
undefined是什么

undefined是代表一个值或变量不存在或未定义的状态。它可以作为默认值来判断一个变量是否已经被赋值,也可以用于设置默认参数值。尽管在不同的编程语言中,undefined可能具有不同的含义和用法,但理解undefined的概念可以帮助我们更好地理解和编写程序。本专题为大家提供undefined相关的各种文章、以及下载和课程。

2023.07.31

12145

4

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
WEB前端教程【HTML5+CSS3+JS】
WEB前端教程【HTML5+CSS3+JS】

共101课时 | 21.3万人学习

JS进阶与BootStrap学习
JS进阶与BootStrap学习

共39课时 | 4.9万人学习