AFL直接运行clang++/g++会退出或报错,因编译器默认从文件读取、调用子进程、exit/abort退出,不满足AFL要求的stdin输入、干净退出;需改造为内存处理模式,禁用外部依赖与异常机制,并用@@传入测试用例。

为什么 AFL 直接跑 clang++ 或 g++ 会立刻退出或报错
AFL 要求被测程序从标准输入读取数据、执行后干净退出(不能崩溃在信号处理里、不能 fork 后不 wait、不能依赖交互式终端)。而 C++ 编译器默认从文件读源码、输出到磁盘、中间可能调用预处理器/汇编器/链接器等子进程,且很多错误路径会直接 exit(1) 或 abort,AFL 捕获不到真正可控的崩溃点。
实操建议:
- 必须把编译器改造成“单次输入、内存中处理、无副作用”的模式:用
-x c++ -E(仅预处理)或-fsyntax-only(只做词法+语法检查,不生成目标码) - 禁用所有外部依赖:加
-nostdinc、-I指向精简头文件副本,避免 AFL 因找不到stdio.h就卡住 - 关闭编译器内部的 panic handler:Clang 加
-fno-exceptions -fno-rtti;GCC 加-fno-enforce-eh-spec(部分版本),否则 SIGABRT 不归 AFL 管 - 用
timeout 1s包一层,防止某些输入触发无限模板展开或宏递归
如何让 AFL 正确捕获编译器 segfault / assert 失败
AFL 默认只监控子进程的 exit code 和信号,但 Clang/GCC 在检测到严重错误时可能调用 __assert_fail 或 llvm_unreachable,这些最终转成 abort() → SIGABRT。而 AFL 默认不把 SIGABRT 当作 crash,需要显式开启。
实操建议:
- 启动 AFL 时加
-e参数(即afl-fuzz -e -i in -o out -- ./clang++ -x c++ -fsyntax-only @@),强制将SIGABRT视为可记录崩溃 - 确保编译器是 debug 版本(如
clang++ -g构建),否则llvm_unreachable可能被优化成__builtin_unreachable(),不触发信号 - 如果用 GCC,需确认它没启用
-fchecking(某些发行版默认开),否则 assert 会被静默吞掉;加-U_FORTIFY_SOURCE防止缓冲区检查干扰
@@ 和 stdin 两种输入方式选哪个
对编译器 fuzzing,@@ 是唯一可靠选择。AFL 把测试用例写入临时文件,再把路径传给 clang++ -x c++ -fsyntax-only @@;若强行用 stdin(afl-fuzz -f /dev/stdin),Clang 会因无法重定位行号、无法报告准确错误位置而跳过大量诊断逻辑,甚至直接拒绝解析。
实操建议:
- 永远用
@@,别碰-f - 临时文件路径必须可写,且不能在 tmpfs(如
/dev/shm)上——Clang 有时会 mmap 它,而 AFL 的 forkserver 在 tmpfs 上可能失败 - 输入文件名后缀要匹配语言:用
.cpp或.cc,否则-x c++可能失效,Clang 当成 C 处理
哪些编译器行为 AFL 实际能发现
AFL 对编译器 fuzz 的有效面很窄:它只能稳定捕获发生在前端(lexer/parser/Sema)的内存错误,比如 buffer overflow 在 Lexer::LexTokenInternal、null-deref 在 TemplateSpecializationType::getCanonicalTypeInternal。后端(LLVM IR 生成、优化、代码生成)基本漏检,因为那些路径太深、分支太多,AFL 的覆盖率反馈根本进不去。
实操建议:
- 聚焦
-fsyntax-only+-std=c++20(新标准语法更易触发 parser 边界) - 初始语料库一定要包含带模板、变参宏、嵌套 lambda、constexpr if 的最小合法/非法片段,否则 AFL 很难变异出有效输入
- 别指望 AFL 找到逻辑 bug(如错误优化),那是
creduce+alive2的事;AFL 这里只管 segfault / assert / infinite loop
真正卡住的地方不是怎么跑起来,而是编译器内部大量使用 std::string、llvm::SmallVector 这类非 trivial 类型,它们的构造/析构可能隐式抛异常或触发 ASan 报告,导致 AFL 日志里全是误报——得先关掉 RTTI/exceptions,再开 ASan 单独验证。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











