paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction

Green Fuzzing:基于漏洞预测的饱和式停止准则
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10 · 该论文将(机器学习式)漏洞预测用于模糊测试的停止准则,属于机器学习与程序分析的交叉,但聚焦的是动态测试(fuzzing)的终止策略,而非用户核心关注的静态分析、形式化验证、浮点程序分析或贝叶斯程序分析;且其预测方法并非基于 LLM/Agent,也未涉及 Agentic 程序或工业落地的静态分析工具。引用 7 inbox
Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu
crossref: 2026-09-12

AI 速览

一句话:提出用漏洞预测判断模糊测试是否饱和,以更早、更经济地停止测试活动,避免高估 fuzzing 效果。

模糊测试通过随机输入触发崩溃来发现安全漏洞,但何时停止测试活动十分困难。现有实践常在崩溃数或代码覆盖率一段时间内不再增长时终止;然而覆盖率可能只增长在非安全关键代码上,崩溃也可能重复触发,因此二者容易高估 fuzzing 的有效性,造成测试时间与成本浪费。本文提出 Green Fuzzing,一种基于饱和的停止准则,利用漏洞预测来判断 fuzzing 是否已接近漏洞发现饱和,从而决定是否终止。其目标是避免过早停止,同时减少不必要的测试开销。

问题
模糊测试活动难以确定合适的停止时机;仅依赖崩溃数或代码覆盖率可能高估测试有效性,导致不必要地延长测试并增加成本。
方法
提出 Green Fuzzing,将漏洞预测用于饱和判断:当预测显示漏洞发现趋于饱和时停止 fuzzing,以避免过早终止和冗余测试。
评估
给定摘要未详述评估方式和结果;论文主题表明其评估关注该停止准则在实际 fuzzing 活动中对停止时机、测试成本与漏洞发现的影响。
原文摘要(Abstract)

Fuzzing is a widely used automated testing technique that uses random inputs to provoke program crashes indicating security breaches. A difficult but important question is when to stop a fuzzing campaign. Usually, a campaign is terminated when the number of crashes and/or covered code elements has not increased over a certain period of time. To avoid premature termination when a ramp-up time is needed before vulnerabilities are reached, code coverage is often preferred over crash count to decide when to terminate a campaign. However, a campaign might only increase the coverage on non-security-critical code or repeatedly trigger the same crashes. For these reasons, both code coverage and crash count tend to overestimate the fuzzing effectiveness, unnecessarily increasing the duration and thus the cost of the testing process.

链接与引用

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

BibTeX
@inproceedings{paperbot8055,
  title = {Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction},
  author = {Stephan Lipp and Daniel Elsner and Severin Kacianka and Alexander Pretschner and Marcel Böhme and Sebastian Banescu},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598043}
}