paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Lessons from Mitigating False Positives in Google's OSS-Fuzz-Gen

来自 Google OSS-Fuzz-Gen 中缓解误报的经验教训
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 5/10 · 这是一篇工业级 LLM Agent(OSS-Fuzz-Gen)在模糊测试流水线中的落地经验论文,与用户'工业界落地案例'和'LLM/Agent 作为工具服务于程序工程任务'的偏好在方向上部分重合;但其核心是模糊测试驱动的误报过滤(约束式生成+崩溃验证),属于测试/调试范畴,既非静态分析/形式化验证,也不涉及浮点或贝叶斯程序分析,且更偏经验报告而非兼具理论形式化的方法论文。引用 1 inbox
Paschal Amusuo, Dongge Liu, Ricardo Andres Calvo Mendez, Jonathan Metzman, Oliver Chang, James C Davis
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:通过约束式驱动生成与上下文感知崩溃验证,在 OSS-Fuzz-Gen 中过滤过半误报崩溃。

模糊测试依赖高质量 fuzz driver 将原始输入转换为合法函数参数;自动生成可减少人工,却常为复杂函数产生误报崩溃。本文介绍实验性系统 OSS-Fuzz-Gen,其采用基于 agent 的 fuzz driver 生成,并报告两种互补的误报缓解策略:基于约束的 fuzz driver 生成,以及面向真实程序入口点的上下文感知崩溃验证。作者在 OSS-Fuzz 的 1,500 个基准函数上评估,发现这些策略以适度额外开销过滤掉超过一半最初被归为程序错误的崩溃,并总结在大规模模糊测试流水线中部署基于 LLM 的 agent 的经验教训。

问题
自动生成的 fuzz driver 在复杂函数上容易产生误报崩溃,降低了模糊测试流水线的有效性。
方法
提出基于 agent 的 fuzz driver 生成系统 OSS-Fuzz-Gen,并使用基于约束的驱动生成与针对真实程序入口点的上下文感知崩溃验证来缓解误报。
评估
在来自 OSS-Fuzz 的 1,500 个基准函数上评估,两种策略以适度额外成本过滤掉超过一半最初被分类为程序错误的崩溃。
原文摘要(Abstract)

Fuzz testing is widely used in industry and open-source ecosystems, but its effectiveness depends on the quality of fuzz drivers that translate raw fuzzer input into valid function arguments. Automated fuzz driver generation reduces manual effort, but in practice often produces false positive crashes, especially for complex functions. We introduce OSS-Fuzz-Gen, an experimental system for agent-based fuzz driver generation. This paper reports our experience mitigating its false positives using two complementary strategies: constraint-based fuzz driver generation and context-aware crash validation against realistic program entry points. In our evaluation on 1,500 benchmark functions from OSS-Fuzz, these strategies filtered out more than half of crashes initially classified as program errors, at modest additional cost. We distill lessons for deploying LLM-based agents in large-scale fuzzing pipelines.

链接与引用

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

BibTeX
@inproceedings{AmusuoLMMCD26,
  title = {Lessons from Mitigating False Positives in Google's OSS-Fuzz-Gen},
  author = {Paschal Amusuo and Dongge Liu and Ricardo Andres Calvo Mendez and Jonathan Metzman and Oliver Chang and James C Davis},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3805205}
}