paperbot · PL 论文追踪

全部论文 待读 收藏

P2 WEIZZ: automatic grey-box fuzzing for structured binary formats

WEIZZ：面向结构化二进制格式的自动灰盒模糊测试
ISSTA Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis2020匹配度 2/10 · 该论文研究结构化二进制格式的灰盒模糊测试，属于动态测试/缺陷检测方向，与用户关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析、贝叶斯程序分析均无直接关系。虽然同属程序分析/测试大类，但主题偏离核心研究方向。引用 67 inbox
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出 WEIZZ，一种针对结构化二进制格式的自动灰盒模糊测试方法，旨在让输入通过格式解析阶段以触达更深层程序行为。

模糊测试技术近年发展迅速，能够以越来越快的速度与深度发现程序缺陷，但处理复杂格式的应用仍难以被有效测试：输入必须满足特定格式特征，才能通过初始解析阶段并到达程序更深层的行为。针对这一问题，论文提出 WEIZZ，一种面向结构化二进制格式的自动灰盒模糊测试方案。灰盒模糊测试通常借助程序执行反馈引导输入变异，而 WEIZZ 的目标是自动应对格式约束，从而提升对复杂格式解析程序的测试深度。所提供的摘要仅给出研究动机与工作定位，未包含具体方法细节、实验设置或定量评估结果。

问题
处理复杂二进制格式的应用难以被模糊测试有效覆盖，因为输入需满足格式特定特征才能通过初始解析阶段、触达程序的深层行为。
方法
论文提出 WEIZZ，一种面向结构化二进制格式的自动灰盒模糊测试方法，依据标题与摘要，其定位为自动化的灰盒模糊测试。
评估
提供的摘要未说明具体评估方式与结果；从标题与摘要可知该工作面向结构化二进制格式的灰盒模糊测试场景。
原文摘要（Abstract）

Fuzzing technologies have evolved at a fast pace in recent years, revealing bugs in programs with ever increasing depth and speed. Applications working with complex formats are however more difficult to take on, as inputs need to meet certain format-specific characteristics to get through the initial parsing stage and reach deeper behaviors of the program.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot6059,
  title = {WEIZZ: automatic grey-box fuzzing for structured binary formats},
  author = {Andrea Fioraldi and Daniele Cono D'Elia and Emilio Coppa},
  booktitle = {ISSTA},
  year = {2020},
  doi = {10.1145/3395363.3397372}
}