paperbot · PL 论文追踪

全部论文 待读 收藏

P2 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing

1dFuzz:用定向差分模糊测试复现 1-day 漏洞
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 2/10 · 该论文属于安全漏洞复现与定向差分模糊测试,核心是补丁特征TCS、定位与PoC触发,仅将静态分析作为辅助定位手段;未涉及LLM/Agent、浮点程序分析或贝叶斯程序分析,也与AI与PL交叉改进静态分析/形式化验证的核心问题无关。引用 26 inbox
Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo, Yong Xie, Jianjun Chen, Chao Zhang
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出基于补丁尾部调用序列(TCS)特征的定向差分模糊测试方案,高效复现 1-day 漏洞。

1-day 漏洞在现实中十分常见:攻击者可利用已发布的补丁反推漏洞并加以利用,因此防御方复现这些漏洞(例如拦截攻击流量)同样重要。本文关注的核心问题是:安全补丁具有什么独有特征。作者通过大规模实证研究发现,补丁的一个普遍且独特的特征是尾部调用序列(trailing call sequence, TCS)。基于该特征,论文提出定向差分模糊测试方案 1dFuzz,包含三个组件:通过静态分析定位候选补丁位置的 1dLoc、面向定向模糊测试的 TCS 距离度量,以及在模糊测试过程中捕获 1-day 漏洞 PoC 的新型 sanitizer 1dSan。作者在 11 种不同设置下对真实软件漏洞进行了系统评估,结果表明 1dFuzz 显著优于现有最优基线,最多可多发现 2.26 倍的 1-day 漏洞,且耗时缩短 43%。

问题
如何高效识别并触发由安全补丁所对应的 1-day 漏洞,从而帮助防御方复现漏洞、阻断攻击流量;关键难点在于确定安全补丁区别于普通代码变更的独有特征。
方法
通过大规模实证研究总结出补丁的尾部调用序列(TCS)特征,并据此构建定向差分模糊测试方案 1dFuzz:用静态分析定位候选补丁位置(1dLoc),设计基于 TCS 的定向距离度量,并引入可在模糊测试中捕获 1-day 漏洞 PoC 的 sanitizer(1dSan)。
评估
在真实世界软件漏洞上以 11 种不同设置进行系统评估,并与现有最优基线对比;结果显示 1dFuzz 最多可多发现 2.26 倍的 1-day 漏洞,时间缩短 43%。
原文摘要(Abstract)

1-day vulnerabilities are common in practice and have posed severe threats to end users, as adversaries could learn from released patches to find them and exploit them. Reproducing 1-day vulnerabilities is also crucial for defenders, e.g., to block attack traffic against 1-day vulnerabilities. A core question that affects the effectiveness of recognizing and triggering 1-day vulnerabilities is what is the unique feature of a security patch. After conducting a large-scale empirical study, we point out that a common and unique feature of patches is the trailing call sequence (TCS) and present a novel directed differential fuzzing solution 1dFuzz to efficiently reproduce 1-day vulnerabilities in this paper. Based on the TCS feature, we present a locator 1dLoc able to find candidate patch locations via static analysis, a novel TCS-based distance metric for directed fuzzing, and a novel sanitizer 1dSan able to catch PoCs for 1-day vulnerabilities during fuzzing. We have systematically evaluated 1dFuzz on a set of real-world software vulnerabilities in 11 different settings. Results show that 1dFuzz significantly outperforms state-of-the-art (SOTA) baselines and could find up to 2.26x more 1-day vulnerabilities with a 43% shorter time.

链接与引用

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

BibTeX
@inproceedings{YangHCMLXCZ23,
  title = {1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing},
  author = {Songtao Yang and Yubo He and Kaixiang Chen and Zheyu Ma and Xiapu Luo and Yong Xie and Jianjun Chen and Chao Zhang},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598102}
}