paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation

基于目标中心种子选择与生成的高效定向混合模糊测试
OOPSLA 10(OOPSLA1)2026匹配度 3/10 · 该论文属于定向混合模糊测试,核心是动态测试与符号执行的结合,虽涉及程序分析与约束求解,但并未涉及用户关注的在 ML/Agentic 程序上应用静态分析、LLM/Agent 改进静态分析/形式化验证,也未涉及浮点程序分析或贝叶斯程序分析。引用 0 inbox
Zhen Li, Shenghan Liu, Qiuping Yi, Pengbo Du, Hongliang Liang
crossref: 2026-09-10

AI 速览

一句话:提出 TACO-Fuzz,通过目标中心的种子选择与生成改进定向混合模糊测试,到达目标位置最高约 10 倍加速并发现 17 个新漏洞。

针对定向混合模糊测试中种子选择与生成效率低的问题,本文提出 TACO-Fuzz。它引入两阶段目标中心的种子选择策略,优先选择探索不足路径上的输入用于符号执行,并基于扩展路径条件的构造实现目标中心的种子生成,从而提升种子质量。作者在公开基准上评估,到达目标位置的平均加速最高接近 10 倍,在复现真实漏洞上也有相当提升;此外借助该方法发现了 17 个此前未知漏洞并获得 CVE 编号,多数情况下漏洞发现与复现更快。

问题
现有定向混合模糊测试存在种子选择低效、难以优先考虑最优输入用于符号执行,以及种子生成低效导致种子质量欠佳两大问题。
方法
提出 TACO-Fuzz,采用两阶段目标中心的种子选择策略以优先探索不足的路径,并基于扩展路径条件的构造实现目标中心的种子生成。
评估
在选定的公开基准上与多个代表性最先进定向模糊测试工具对比,到达目标位置最高取得接近 10 倍的平均加速,复现真实漏洞亦有相当提升,并发现 17 个获 CVE 编号的新漏洞。
原文摘要(Abstract)

Software vulnerabilities pose severe security threats, highlighting the need for effective automated detection. Directed hybrid fuzzing, which combines the rapid exploration of fuzz testing with the precise constraint solving of symbolic execution, has made notable advancements in vulnerability discovery. However, existing directed hybrid fuzzing approaches still face two key challenges: (1) inefficient seed selection, leading to inadequate prioritization of optimal inputs for symbolic execution, and (2) inefficient seed generation, resulting in suboptimal seed generation. To address these issues, we propose TACO-Fuzz, TArget-Centric cOncolic Fuzzing, which introduces a two-phase target-centric seed selection strategy to prioritize under-explored paths and a target-centric seed generation approach based on constructing extended path conditions, thereby improving seed quality. Our evaluation on a selected set of public benchmarks shows that TACO-Fuzz can outperform several representative state-of-the-art directed fuzzing tools, achieving up to an average speedup of nearly 10x in reaching target locations, along with comparable improvements in reproducing real-world vulnerabilities. Moreover, TACO-Fuzz contributed to the discovery of 17 previously unknown vulnerabilities, each assigned a CVE, and demonstrated faster vulnerability discovery and reproduction in most cases.

链接与引用

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

BibTeX
@article{paperbot3796,
  title = {Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation},
  author = {Zhen Li and Shenghan Liu and Qiuping Yi and Pengbo Du and Hongliang Liang},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {10},
  number = {OOPSLA1},
  year = {2026},
  doi = {10.1145/3798233}
}