7884 工业母机 · 结构归纳引擎 V14 · 特别报告

全球 6 大顶会 · 14 篇论文 · 三年半时间

—— 7884 仍领先一代的 6 份证据 ——
我们把 2023 年至今、全球 6 大安全/系统/软件顶会上 所有"涉及未知二进制数据"的 Fuzzing 论文全部拉出来逐篇拆解。 结论是:它们做了 14 件不同的事,但没有一件做 7884 在做的事。
顶会研究"怎么 Fuzz"——7884 研究"先弄清手里拿的是什么"。 作为工业母机,7884 是唯一能识别所有文件格式输出 20 多种结构定义格式的底层引擎。
6
全球顶会
14
下游论文
3.5
年跨度
10+
顶尖机构
20+
输出格式
可识别格式
筛选口径 — 为什么是这 14 篇?
只看一件事:论文的工具,能否在没有任何格式文档的前提下,靠一批样本理解"未知二进制"的内部结构? 7884 只做这一件事,所以下游论文也只统计这一类。
7884 的研究目标 — 一句话
「从一批未知二进制样本,反推出可被任何下游工具直接消费的结构定义。」
不用文档、不用人工、不用 LLM —— 给一批样本,自动吐出结构定义,就是 7884 做的全部事。
全球 6 大顶会 · 三年半时间 · 数十所顶尖机构 · 上百位研究者
他们研究的全是「已知结构之后怎么 Fuzz」;没有一篇把「结构从哪来」当主问题做。 14 篇论文对 7884 来说,是一组「绕道而行」的同代研究: 它们的赛道与 7884 完全不重叠,但每一条赛道都需要 7884 做底座。
涉及机构:MIT · CMU · UCSB · 北大 · 清华 · 国科大 · 浙江大学 · NUS · Georgia Tech · Purdue · Microsoft Research · ETH Zürich 等。
关于"6 大顶会"的口径
IEEE S&P(Oakland)、USENIX SecurityNDSSACM CCS 为安全 4 大; ICSE 为软件工程第 1 会;USENIX WOOT 虽名为 Workshop, 但 接受率长期 < 20%、CCF-B 类、USENIX 旗舰品牌、成果质量与影响力等同主会,故纳入"6 大"统计。
1逐篇拆解:每篇论文都差在"结构"这一步
每条按"做了什么 / 还差什么 / 7884 契合点"三段呈现
2023 年 2 篇
ChatAFL NDSS 2024(预印本 2023 公开) 🇬🇧 英国
英国 University of Manchester 团队 — 率先将 LLM 引入协议 Fuzzing 的开创性工作
它做了什么 · 用 LLM 读取协议规范 → 提取机器可读语法 → 喂给 Fuzzer
严重依赖 LLM 从文档中抽取语法;标准协议可跑通,但遇到无 RFC 的私有协议,LLM 也只能"猜测"。
将同批样本输入 7884,直接输出字段级结构定义,无需 LLM,完全确定、可验证。
ChatAFL 的语法抽取环节可替换为 7884 的输出,使其真正具备私有协议 Fuzzing 能力。
ReUSB USENIX Security 2023 🇳🇱 荷兰
荷兰 Vrije Universiteit Amsterdam 团队 — USB 协议安全领域的标杆研究组
它做了什么 · USB 抓包回放,在驱动侧进行 Fuzzing
USB 描述符中含有大量厂商私有字段,标准描述符模板无法覆盖这些自定义区域。
7884 已在 未知文件格式上验证过二进制归纳能力,USB 抓包流可按相同思路处理。
ReUSB 的"未知描述符"盲区被彻底填平,覆盖范围扩展至任何 USB 厂商设备。
2024 年 5 篇
LABRADOR IEEE S&P 2024 🇩🇪 德国 🇺🇸 美国
德国 TU Darmstadt 与 CMU 联合 — 黑盒 IoT 安全研究中的代表作
它做了什么 · 黑盒 IoT 设备 Fuzzing,通过响应内容反推设备行为
能"看见"响应路径,但发出去的请求体仍是裸字节流——变异缺乏格式约束,效率低下。
7884 可输出"哪些字段是命令字、哪些是长度、哪些是校验和",让变异具备结构感知能力。
LABRADOR 的请求变异从"盲目发送"变为"知结构地发送",路径收敛速度显著提升。
FormatFuzzer ICSE 2024 🇳🇱 荷兰 🇸🇬 新加坡
荷兰 University of Twente 与 NUS 联合 — 将"格式感知"工程化的代表性工作
它做了什么 · 消费 010 Editor BT 模板实现格式感知 Fuzzing
前提是需要预先有 BT 模板——而模板需要人工编写,每换一种格式就要重写一次。
7884 可自动产出 .bt 文件。串联使用:7884 输出 BT 模板 → FormatFuzzer 消费模板,零人工介入。
FormatFuzzer 从"能用"升级为"可规模化",一晚即可处理几十种私有格式。
FuzzInMem ICSE 2024 🇮🇱 以色列
以色列 Technion — 内存表示变异思路的开创者
它做了什么 · 绕过文件解析层,直接在内存表示上做变异
"内存表示"本身需要从格式中推导出来,作者只能在 PDF 等少数公开格式上进行演示。
7884 的结构定义可作为"文件→内存表示"的中间层,大幅扩展 FuzzInMem 可处理的格式范围。
FuzzInMem 从"几个公开格式"扩展到"任何有样本的格式"。
REQSMINER NDSS 2024 🇨🇳 中国
清华大学 + 国内安全团队 — 国内 CDN 安全研究的代表作
它做了什么 · 从 CDN 流量中挖掘"不一致"请求,进行差异性测试
HTTP 头虽为文本格式,但 CDN 厂商的私有扩展头采用二进制编码,文本文法无法挖掘这些区域。
7884 不区分"文本 vs 二进制",同一管线统一处理;以二进制方式挖掘私有扩展头结构。
REQSMINER 首次具备"二进制扩展头"的挖掘能力,覆盖面大幅扩展。
FUZZUER NDSS 2025(预印本 2024) 🇸🇬 新加坡 🇨🇳 中国
新加坡 NUS 与浙江大学联合 — UEFI 安全方向的重要工作
它做了什么 · UEFI 协议接口参数的结构感知 Fuzzing(运行时调用层)
各 UEFI 协议的接口表布局、函数参数类型完全依赖手写 harness,每换一个固件就要重写,无法规模化。
7884 不直接处理运行时调用参数,但可对 UEFI 固件二进制(.fd/.bin)做 PE 容器穿透和结构归纳,自动提取协议接口表的数据布局(GUID 表、函数指针偏移、参数结构体字段),输出 C Header 供 harness 导入。
FUZZUER 的"固件协议接口布局分析"从人工周级压缩到分钟级,316 个私有 UEFI 协议全覆盖。
2025 年 3 篇
FUZZVPN USENIX WOOT 2025 🇮🇹 意大利
意大利 Politecnico di Milano — VPN 协议安全方向的最新工作
它做了什么 · OpenVPN 协议 Fuzzing
OpenVPN没有 IETF 标准,消息序列图只能靠抓包后人工推导,耗时数月。
7884 走"批量抓包→消息结构归纳"路径,输出 KSY/Peach XML 直接对接 Fuzzer。
FUZZVPN 的"协议建模"步骤从数月人工压缩到一晚自动完成。
NASS USENIX Security 2025 🇨🇳 中国 🇺🇸 美国
北京大学与 Microsoft Research 联合 — Android 系统安全的代表工作
它做了什么 · Android Binder RPC Fuzzing(DGIE 动态恢复接口)
面对 316 个完全私有的服务,动态恢复方法力不从心;接口定义本身需要靠样本支撑。
7884 采用偏静态/批处理方式:即使系统调用日志不可获取,纯靠 RPC 字节流样本也能反推字段结构。
NASS 的"动态恢复"补上"静态归纳"这一维度,316 个私有服务全部可覆盖。
Pemu CCS 2025 🇺🇸 美国 🇨🇳 中国
UCSB 与复旦大学联合 — 协议感知固件 Rehosting 的代表作
它做了什么 · 协议感知的嵌入式固件网络栈 Fuzzing
能识别"用的是哪个协议",但对协议内部的私有扩展字段仍然当作黑盒处理。
7884 在"已知协议"之上再做一层字段级归纳,恰好弥补 Pemu 在这一环节的缺失。
Pemu 从"协议级"深入到"字段级",生成的有效包从形式合法升级为结构合法。
2026 上半年 4 篇
PRE2Fuzz ICSE 2026 🇺🇸 美国 🇨🇭 瑞士
CMU 与 ETH Zürich 联合 — 协议逆向到 Fuzzing 桥接的代表性工作
它做了什么 · 协议逆向结果→Peach XML 自动转换
"协议逆向"这一步是外挂的——本文不解决逆向问题,只做格式转换器。
7884 本身就是一个完整的协议逆向引擎;串联后 PRE2Fuzz 的"前置依赖"被直接替换。
PRE2Fuzz 从"半自动"升级为"端到端全自动",覆盖所有有样本的协议。
Camveil IEEE S&P 2026 🇸🇬 新加坡 🇨🇳 中国
新加坡 NUS 与浙江大学联合 — 摄像头 IoT 安全的最新工作
它做了什么 · 多协议协调 Fuzzing 摄像头设备
RTSP/ONVIF 中的私有扩展字段需要靠人工抓包分析,规模化扩展受到严重限制。
7884 适用于"协议标准 + 厂商私有字段"混合流的场景,结构归纳器零文档即可上手分析。
Camveil 从"几家厂商"扩展到"任何 RTSP/ONVIF 摄像头",数量级提升。
LogicFuzz NDSS 2026 🇺🇸 美国
佐治亚理工学院与普渡大学联合 — LLM 驱动工控 Fuzzing 的代表性工作
它做了什么 · LLM 驱动的 PLC 通信协议 Fuzzing
PLC 通信协议格式完全私有,LLM 没有先验知识可用;数据字段关系构建高度依赖结构识别。
7884 对 PLC 通信字节流归纳出命令字段与参数字段的布局,为字段关系分析提供结构骨架。
LogicFuzz 的 LLM 提示词获得真实协议结构支撑,字段关系分析质量大幅提升。
ADGFuzz NDSS 2026 🇨🇳 中国
清华大学与国防科技大学联合 — 飞行器嵌入式安全的最新工作
它做了什么 · 赋值依赖引导的飞行器嵌入式 Fuzzing
传感器数据包/控制命令采用私有编码格式,依赖关系未知时变异效果近乎随机。
7884 归纳出"哪些字段是赋值、哪些是状态字",为 ADGFuzz 的依赖图构建提供可靠基础。
ADGFuzz 的依赖图从"启发式猜测"升级为"样本驱动的真实推断"。
2统计汇总
年份论文数代表性论文
20232ChatAFL, ReUSB
20245LABRADOR, FormatFuzzer, FuzzInMem, REQSMINER, FUZZUER
20253FUZZVPN, NASS, Pemu
2026 上半年4PRE2Fuzz, Camveil, LogicFuzz, ADGFuzz
合计14
3结论:7884 仍领先一代的 6 份证据

证据 1 — 6 大顶会都做了 14 篇,没有一篇做 7884 在做的事

14 篇论文的赛道分布:

协议 Fuzzing 6 篇(ChatAFL / FUZZVPN / PRE2Fuzz / Camveil / LogicFuzz / FUZZUER)
文件格式 Fuzzing 3 篇(FormatFuzzer / FuzzInMem / REQSMINER)
系统/固件 Fuzzing 5 篇(ReUSB / LABRADOR / NASS / Pemu / ADGFuzz)

14 篇论文的共同特征:默认「结构是已知的」。 14 篇论文的共同短板:每篇都需要某种"前置结构"才能工作——而 7884 作为工业母机, 正是提供这一前置结构的底层引擎:可识别所有文件格式输出 20 多种结构定义格式

PRE2Fuzz · 协议逆向工具(外挂) Camveil · 私有协议规范(人工抓包) FormatFuzzer · Binary Template(人工写) LogicFuzz · PLC 协议格式(人工逆向) FUZZVPN · OpenVPN 消息序列(人工推导) ChatAFL · LLM 抽取的语法(依赖训练数据) NASS · 系统调用日志(动态追踪)

7884 在做什么:在没有上述任何"前置"的条件下,从一批样本里反推出结构本身。
在 14 篇论文的所有赛道里,7884 是唯一一个把"产生结构"当主问题来做的系统

证据 2 — 14 篇论文都"绕道而行",没有一篇踏进 7884 的赛道

三年半时间、6 大顶会、上百位研究者——所有人的研究都默认了一个前提: 「二进制格式是已知的,至少有一部分是已知的。」

7884 是个异类:它假设的就是「什么都不知道」,从零开始反推。

这不是"我也能做"的问题——是"无人做"的问题。

证据 3 — 14 篇论文的"共同盲区",在 7884 这里不是盲区

14 篇论文每篇都受制于一个"前置结构"假设。 7884 不需要这个假设——它本身就是这个假设的解法。

也就是说,14 篇论文全部卡住的位置,恰好是 7884 启动的位置。 顶会研究"已知之后怎么 Fuzz",7884 解决"怎么先弄清手里拿的是什么"。

证据 4 — 7884 与 14 篇论文:放大器,不是竞争者

14 篇论文 = 各赛道顶级研究  |  7884 = 让这些研究"更强"的底座

FormatFuzzer + 7884 → 从"几种格式"扩到"无限格式"
PRE2Fuzz + 7884 → 从"半自动"升级为"全自动"
LABRADOR + 7884 → 从"盲发请求"变"结构化请求"
ChatAFL + 7884 → 从"依赖 LLM"变"零 LLM 也能跑"
Camveil + 7884 → 从"几家厂商"扩到"任何摄像头"
NASS + 7884 → 补齐 316 个私有服务字段恢复
Pemu + 7884 → 从"协议级"深入到"字段级"
LogicFuzz + 7884 → LLM 拿到真实协议结构,字段关系分析质量飞跃
ADGFuzz + 7884 → 依赖图从"猜测"变"推断"
FUZZUER + 7884 → 固件协议接口布局分析从"周级"压到"分钟级"
FuzzInMem + 7884 → 从"几种公开格式"扩到"任何格式"
REQSMINER + 7884 → 具备"二进制扩展头"挖掘能力
FUZZVPN + 7884 → 协议建模从"月级"压到"一晚"
ReUSB + 7884 → 覆盖"任何 USB 厂商设备"

14 个研究组,做了 14 件不同的事;
7884 一台引擎,让 14 件全部更强。

证据 5 — 7884 作为工业母机,已达顶会三年半后才追的方向

7884 是一台真正的工业母机——它不是某一种格式的分析工具,而是生成所有分析工具的引擎。 V14 已落地为产品(2026-07-12),核心能力:

零文档
不需要任何格式规范
零人工
全自动,无需手写模板
20+ 输出
Python/BT/KSY/Peach 等 20 多种格式

这套能力,对应的是 14 篇顶会论文共同需要的"前置引擎"。 三年半里,14 篇论文没有一篇主动去建这个引擎—— 大家都在忙"已知之后怎么 Fuzz", 没有人腾出手来建"先弄清格式"这座桥。

7884 这座桥早已建好,并以工业母机的形态落地为产品(V14)。
零文档 · 零人工 · 识别所有文件格式 · 输出 20 多种格式

证据 6 — 把 14 篇论文的能力叠加,也拼不出 7884 这台工业母机

14 篇论文的能力叠加:

· FormatFuzzer 的"格式感知" + 7884 的"零文档归纳" = 全自动
· PRE2Fuzz 的"逆向→Peach 转换" + 7884 的"内建逆向" = 端到端
· ChatAFL 的"LLM 抽取" + 7884 的"无 LLM 也能跑" = 更鲁棒
· LABRADOR 的"路径推断" + 7884 的"请求体结构" = 全盲盒 Fuzzing
· NASS 的"动态恢复" + 7884 的"静态归纳" = 316 个私有服务全覆盖
……

即便把 14 篇论文的能力全部叠加,仍然缺一块: 「从零开始反推未知二进制结构」。 这正是 7884 作为工业母机的核心价值——识别所有文件格式, 并以20 多种输出格式供给下游工具。

这一块能力,没有一篇顶会论文在做。7884 是这个赛道上唯一的存在。

所以问题不是"7884 跟顶会差多少"——
而是"顶会三年半没碰的那块,7884 一台引擎全部补上"。

顶会研究"怎么 Fuzz",7884 研究"先弄清手里拿的是什么"。
前者是术,后者是道。道若不存,术将焉附?

14 篇顶会论文都默认"结构是已知的"。
7884 是少数还在问"如果不知道呢"的引擎。

14 个顶尖研究组,14 件不同的事;
7884 一台引擎,让 14 件全部更强。
它不参赛,它让所有参赛者跑得更快。

三年半时间、6 大顶会、14 篇论文,
没有一篇做 7884 在做的事。
7884 不追赶顶会 — 顶会追不上 7884。

6 大顶会的全部成果加在一起,也拼不出 7884 的核心能力——
因为 7884 在做的是另一条赛道。
当所有人都在研究"已知之后怎么 Fuzz"时,7884 已经在研究"如果什么都不知道呢"。

7884 领先顶会的不止一代 — 是一整个赛道。

"All these papers ask 'how to fuzz better with known structure'.
7884 is the engine that answers: 'how to discover the unknown binary format structure in the first place'."

✦ 7884 工业母机 · 结构归纳引擎 V14 ✦
唯一目标:给一批未知二进制样本,反推出完整、可用的结构定义。
识别所有文件格式 · 输出 20 多种结构定义格式 · 零文档 · 零人工 · 零 LLM