paperbot · PL 论文追踪

全部论文 待读 收藏

P2 StorFuzz: Using Data Diversity to Overcome Fuzzing Plateaus

StorFuzz:利用数据多样性克服模糊测试平台期
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文研究模糊测试中的平台期问题,属于动态测试与软件缺陷发现,与用户关注的静态分析、形式化验证、浮点程序分析、贝叶斯程序分析及 LLM/Agent 交叉方向均无直接关联。虽然同属程序分析与软件工程领域,但方法核心是数据多样性度量而非用户追踪的 PL/AI 交叉问题。引用 1 inbox
Leon Weiß, Tobias Holl, Kevin Borgolte
crossref: 2026-09-12

AI 速览

一句话:提出 StorFuzz,用数据多样性度量替代仅靠代码覆盖率来判断模糊测试进展,以突破长期平台期。

模糊测试广泛用于发现软件缺陷与漏洞,但真实世界中长时间运行的模糊测试活动常陷入平台期,无法继续推进,留下未测试的代码区域。当前先进模糊器依赖代码覆盖率来度量进展并到达新区域,然而不同程序行为可能具有相同覆盖率,因此覆盖率不足以捕捉全部程序行为,既阻碍进一步探索,也可能掩盖缺陷。StorFuzz 提出利用数据多样性(data diversity)作为进展信号,以克服模糊测试平台期,从而在覆盖率停滞时仍能区分并探索新的程序行为。摘要未报告具体实验评估与结果。

问题
长期运行的模糊测试活动常陷入平台期而无法继续推进;现有基于代码覆盖率的进展度量无法区分具有相同覆盖率的不同程序行为,导致未测试代码区域和缺陷被掩盖。
方法
StorFuzz 利用数据多样性而非仅依赖代码覆盖率来度量模糊测试进展,以突破平台期并继续探索新的程序行为。
评估
摘要未描述具体实验设置与结果,评估方式需参见论文正文。
原文摘要(Abstract)

Fuzzing is widely used to discover software bugs and vulnerabilities. Unfortunately, real-world long-running fuzzing campaigns often plateau and no progress can be made anymore, leaving code areas untested. State-of-the-art fuzzers leverage code coverage to measure progress and reach new areas, but this is insufficient to capture all program behavior, as code coverage may be the same for different behaviors, thus preventing progress and masking bugs.

链接与引用

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

BibTeX
@inproceedings{paperbot11899,
  title = {StorFuzz: Using Data Diversity to Overcome Fuzzing Plateaus},
  author = {Leon Weiß and Tobias Holl and Kevin Borgolte},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773179}
}