paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Bridging the Final Gap: Fuzzing Template Generation from Protocol Reverse Engineering

弥合最后差距:从协议逆向工程到模糊测试模板生成
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文聚焦协议逆向工程与模糊测试模板生成,属于安全测试/程序分析方向,但未涉及用户核心关注的 PL 与 AI 结合、静态分析、浮点程序分析、贝叶斯程序分析或 LLM/Agent 交叉。引用 0 inbox
Wenlong Zhang, Fuchen Ma, Yongjun Xie, Yuanliang Chen, Dalong Shi, Dongyi Yu, Heyuan Shi
crossref: 2026-09-12

AI 速览

一句话:提出 PRE2Fuzz,将协议逆向工程推断的格式规范自动转换为 PEACH 兼容 Pit 模板,打通逆向到模糊测试的最后一环。

针对专有或未文档化协议的安全测试难题,现有协议逆向工程虽能从网络流量或程序二进制中推断消息结构与语义,但其得到的格式规范无法直接用于模糊测试。本文提出 PRE2Fuzz,一个可扩展、集成的协议分析与转换系统。它集成多种逆向工程工具,支持并行分析,并自动将推断结果转换为 PEACH 兼容的可执行 Pit 文件,从而弥合协议逆向工程与自动化模糊测试之间的鸿沟。在八种广泛使用的协议上,使用 PRE2Fuzz 生成的 Pit 模板进行测试并取得了分支覆盖率,表明该系统具有实用性和通用性。

问题
专有或未公开协议的安全测试依赖协议逆向工程,但逆向得到的格式规范不能直接作为模糊测试输入,缺少从逆向结果到可执行测试模板的自动转换。
方法
PRE2Fuzz 集成多种协议逆向工程工具,支持并行分析,并自动将推断出的协议格式规范转换为 PEACH 兼容的 Pit 文件。
评估
在八种广泛使用的协议上使用 PRE2Fuzz 生成的 Pit 模板进行测试,取得了分支覆盖率,验证了系统的实用性与通用性。
原文摘要(Abstract)

Security testing for proprietary or undocumented protocols is particularly challenging, as it depends on reverse-engineering techniques to infer protocol formats. This process involves analyzing network traffic or program binaries to deduce message structures and semantics. However, the resulting specifications cannot be directly used as input for fuzzing. To enable efficient automated security testing, a crucial conversion step is required: systematically transforming the reverse-engineered format specifications into PEACH-compatible Pit file. To address this need, this paper presents PRE2Fuzz, an extensible and integrated protocol analysis and conversion system. PRE2Fuzz integrates multiple reverse-engineering tools, supports parallel analysis, and automatically converts the inferred results into executable Pit file, thereby bridging the gap between protocol reverse engineering and automated fuzzing. Evaluations demonstrate the system’s practicality and generality: tests using PRE2Fuzz-generated Pit templates on eight widely used protocols achieved branch coverage.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11501,
  title = {Bridging the Final Gap: Fuzzing Template Generation from Protocol Reverse Engineering},
  author = {Wenlong Zhang and Fuchen Ma and Yongjun Xie and Yuanliang Chen and Dalong Shi and Dongyi Yu and Heyuan Shi},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3787609}
}