攻击性模糊测试

面向什么场景

传统代码审计和单元测试通常只能覆盖显式路径。面对 parser、网络协议、IPC、syscall、IOCTL 这类复杂输入面时，边界状态、内存错误和依赖上下文的崩溃仍可能漏掉。这个技能面向安全测试与可靠性验证，强调通过模糊测试主动生成异常输入，定位崩溃、挂起、UB、并发问题以及逻辑不一致。

技能如何工作

它把模糊测试拆成一条可执行流程：先映射目标输入面和高价值区域，再完成插桩构建与 harness 编写，随后准备 seed corpus 并启动多类 fuzzer。资料覆盖 BlackBox、GreyBox、Snapshot、WhiteBox、Ensemble，并说明 AFL++、Honggfuzz、libFuzzer、Nyx、syzkaller、LibAFL 等工具在不同目标类型中的位置。关键步骤包括：

• 使用 afl-cmin 与 afl-tmin 精简种子语料和崩溃输入
• 在进度停滞时启用 CmpLog、字典、AFLGo 定向执行或 concolic 辅助
• 按缺陷类型选择 oracle，例如 ASan、HWASan、TSan、UBSan、KASAN、KCFI
• 对内核、EDR/Windows 扫描引擎、Rust、嵌入式等目标采用专门 harness 和分析路径

它也关注崩溃分诊与复现：固定 CPU governor、记录二进制哈希、保存输入序列，并在确认安全边界后谨慎处理 ASLR 等测试变量。适合能够搭建 C/C++、Rust、Go、Python 或内核测试环境，并希望把 fuzzing 纳入持续测试流程的团队。