paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Silent Taint-Style Vulnerability Fixes Identification

静默的污点型漏洞修复识别
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 3/10 · 该论文属于传统程序分析与软件安全方向,使用数据流和依赖分析识别污点型静默漏洞修复,但与用户核心关注的 PL↔AI、LLM/Agent 改进静态分析、浮点程序分析或贝叶斯程序分析没有直接交叉。引用 2 inbox
Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li
crossref: 2026-09-12

AI 速览

一句话:提出 EarlyVulnFix,利用数据流与依赖分析在漏洞公开披露前识别开源项目中的静默污点型漏洞修复。

开源软件广泛采用协同漏洞披露模型,但安全修复往往在正式披露前已进入公开仓库,攻击者可提前发现并利用漏洞。本文针对污点型漏洞(攻击者可控输入未净化即到达敏感操作)的静默修复识别问题,提出 EarlyVulnFix。该方法基于数据流与依赖分析,针对两种常见修复场景区分新引入代码与 sink 之间的两类连接,从而检测未公开的漏洞修复。评估表明,EarlyVulnFix 在 F1 值上显著优于现有基线;在七个项目的 700 个最新提交上,它在其安全版本发布前检测到三个安全修复,证明了在真实场景中发现未报告漏洞修复的有效性。

问题
开源项目中漏洞修复常早于官方披露公开,用户难以及时感知;本文研究如何在披露前识别静默的污点型漏洞修复。
方法
提出 EarlyVulnFix,利用数据流和依赖分析,针对两类常见修复场景建模新引入代码与敏感操作 sink 之间的连接。
评估
在基线对比中取得更高 F1 值,并在七个项目的 700 个最新提交中于安全版本发布前发现三个安全修复。
原文摘要(Abstract)

The coordinated vulnerability disclosure model, widely adopted in open-source software (OSS) organizations, recommends the silent resolution of vulnerabilities without revealing vulnerability information until their public disclosure. However, the inherently public nature of OSS development leads to security fixes becoming publicly available in repositories weeks before the official disclosure of vulnerabilities. This time gap poses a significant security risk to OSS users, as attackers could discover the fix and exploit vulnerabilities before disclosure. Thus, there is a critical need for OSS users to sense fixes as early as possible to address the vulnerability before any exploitation occurs. In response to this challenge, we introduce EarlyVulnFix, a novel approach designed to identify silent fixes for taint-style vulnerabilities—a persistent class of security weaknesses where attacker-controlled input reaches sensitive operations (sink) without proper sanitization. Leveraging data flow and dependency analysis, our tool distinguishes two types of connections between newly introduced code and sinks, tailored for two common fix scenarios. Our evaluation demonstrates that EarlyVulnFix surpasses state-of-the-art baselines by a substantial margin in terms of F1 score. Furthermore, when applied to the 700 latest commits across seven projects, EarlyVulnFix detected three security fixes before their respective security releases, highlighting its effectiveness in identifying unreported vulnerability fixes in the wild.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8460,
  title = {Silent Taint-Style Vulnerability Fixes Identification},
  author = {Zhongzhen Wen and Jiayuan Zhou and Minxue Pan and Shaohua Wang and Xing Hu and Tongtong Xu and Tian Zhang and Xuandong Li},
  booktitle = {ISSTA},
  year = {2024},
  doi = {10.1145/3650212.3652139}
}