AFL直接运行clang++/g++会退出或报错，因编译器默认从文件读取、调用子进程、exit/abort退出，不满足AFL要求的stdin输入、干净退出；需改造为内存处理模式，禁用外部依赖与异常机制，并用@@传入测试用例。
为什么 AFL 直接跑 clang++ 或 g++ 会立刻退出或报错
AFL 要求被测程序从标准输入读取数据、执行后干净退出（不能崩溃在信号处理里、不能 fork 后不 wait、不能依赖交互式终端）。而 C++ 编译器默认从文件读源码、输出到磁盘、中间可能调用预处理器/汇编器/链接器等子进程，且很多错误路径会直接 exit(1) 或 abort，AFL 捕获不到真正可控的崩溃点。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 必须把编译器改造成“单次输入、内存中处理、无副作用”的模式：用
-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，需要显式开启。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 启动 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 会因无法重定位行号、无法报告准确错误位置而跳过大量诊断逻辑，甚至直接拒绝解析。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 永远用
@@，别碰-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 的覆盖率反馈根本进不去。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 聚焦
-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 单独验证。
