paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization

Prospector:通过迭代优先级提升面向大规模目标集合的定向灰盒模糊测试
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 2/10 · 该论文属于定向灰盒模糊测试(动态测试/安全测试)方向,与用户画像核心的静态分析、LLM/Agent 与程序分析的交叉、浮点程序分析、贝叶斯程序分析均无直接关联;虽涉及程序分析类工具(模糊测试)且工程实现充分,但既未使用 LLM/Agent,也不是静态分析或形式化验证工作。引用 7 inbox
Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng
crossref: 2026-09-12

AI 速览

一句话:提出 Prospector,通过迭代聚焦目标与细粒度优先级调度,提升大规模目标集下的定向灰盒模糊测试效率。

定向灰盒模糊测试(DGF)需引导测试到达预设目标点。现有方法在大规模目标集下同时跟踪所有目标,分散了计算资源,忽视目标重要性差异。Prospector 采用迭代式“聚焦目标”选择,依据脆弱模式与测试充分性动态维护目标集合,并细化探索-利用调度、种子选择和字节调度。在 24 个程序、全部 sanitizer 标签为目标点的评估中,Prospector 较 AFL++、WindRanger、ParmeSan、FishFuzz 分别多触发 125、141、84、100 个用例;在最大目标集组中更快复现 38 个独特漏洞中的 18 个(47.37%),并在 4 个真实程序中发现 6 个新漏洞,获 5 个 CVE。

问题
现有定向灰盒模糊测试在大规模目标集下盲目跟踪所有目标,分散算力并降低关键目标触发效率。
方法
Prospector 迭代选择一组聚焦目标,基于脆弱模式与测试充分性动态维护,并优化探索-利用调度、种子选择与字节调度。
评估
在 24 个程序中以全部 sanitizer 标签为目标进行评估,较 AFL++、WindRanger、ParmeSan、FishFuzz 更快发现漏洞分别多 125、141、84、100 例,并发现 6 个新漏洞、获 5 个 CVE。
原文摘要(Abstract)

Directed grey-box fuzzing (DGF) is an advanced technique in security testing, specifically designed to guide fuzzing tools toward predefined target sites within a software program. To improve its scalability on multiple targets, recent DGFs prioritize seeds that close to targets based on a more precise distance metric, and dynamically discard well-explored targets, thus steering toward all targets simultaneously. However, not all targets hold equal importance, particularly when facing large-scale target sets. Therefore, current works that blindly tracking all targets diverts computing resources from critical targets, thereby reducing the overall efficiency of triggering targets. In this paper, we present Prospector, a novel DGF approach that can handle large-scale target sets scenarios. Prospector employs an iterative process to focus on a select group of ”focused targets”. To dynamically maintain these targets, Prospector present a more fine-grained strategy that considers the vulnerable patterns and test adequacy of targets. Subsequently, Prospector further sharpens its fuzzing approach toward ”focused targets” by refining strategies in explore-exploit scheduling, seed selection, and byte scheduling. We evaluate Prospector on 24 programs by setting all sanitizer labels as targets. The experimental results show that Prospector exposed bugs faster than AFL++, WindRanger, ParmeSan, and FishFuzz by 125, 141, 84, and 100 cases, respectively. Among 38 unique bugs in the program group with the largest target sets, Prospector reproduces 18 (47.37%) existing bugs faster than other fuzzers. Prospector also discovered 6 new bugs in 4 real-world programs with 5 CVE IDs assigned.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8581,
  title = {Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization},
  author = {Zhijie Zhang and Liwei Chen and Haolai Wei and Gang Shi and Dan Meng},
  booktitle = {ISSTA},
  year = {2024},
  doi = {10.1145/3650212.3680365}
}