paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Refining Fuzzed Crashing Inputs for Better Fault Diagnosis

精化 fuzzing 崩溃输入以改进故障诊断
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 2/10 · 该论文属于模糊测试与调试/故障定位方向,虽与程序分析同属软件工程/PL大领域,但不涉及用户核心关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析。其问题与方法均未与用户研究画像中的交叉方向产生直接关联。引用 0 inbox
Kieun Kim, Seongmin Lee, Shin Hong
crossref: 2026-09-12

AI 速览

一句话:提出 DiffMin,在保持崩溃行为的前提下迭代编辑 fuzzed 输入使其更接近通过输入,从而提升故障定位精度。

灰盒 fuzzing 发现的崩溃输入通常与正常通过输入差异巨大,导致开发者难以识别触发故障的条件并定位缺陷代码。本文提出 DiffMin,一种在保持崩溃行为不变的前提下,迭代地对 fuzzed 崩溃输入施加编辑动作的技术,使其与给定的通过输入更加相似,从而为调试提供更清晰的对比信息。作者在 Magma 基准上开展了初步研究,结果表明 DiffMin 能有效最小化崩溃输入与通过输入之间的差异,同时提升基于频谱的故障定位(SBFL)的准确性,说明它可以作为灰盒 fuzzing 之后有价值的预调试(pre-debugging)步骤。

问题
灰盒 fuzzing 产生的崩溃输入与通过输入差异过大,开发者难以据此识别引发故障的条件并定位缺陷代码。
方法
DiffMin 迭代地对 fuzzed 崩溃输入施加编辑动作,在保持崩溃行为不变的同时,使其与给定的通过输入更加相似。
评估
在 Magma 基准上进行初步研究,衡量崩溃输入与通过输入差异的缩减程度以及基于频谱的故障定位准确性的提升。
原文摘要(Abstract)

We present DiffMin, a technique that refines a fuzzed crashing input to gain greater similarities to given passing inputs to help developers analyze the crashing input to identify the failure-inducing condition and locate buggy code for debugging. DiffMin iteratively applies edit actions to transform a fuzzed input while preserving the crash behavior. Our pilot study with the Magma benchmark demonstrates that DiffMin effectively minimizes the differences between crashing and passing inputs while enhancing the accuracy of spectrum-based fault localization, highlighting its potential as a valuable pre-debugging step after greybox fuzzing.

链接与引用

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

BibTeX
@inproceedings{paperbot9175,
  title = {Refining Fuzzed Crashing Inputs for Better Fault Diagnosis},
  author = {Kieun Kim and Seongmin Lee and Shin Hong},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3731436}
}