paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Toward Scalable Automated Repository-Level Datasets for Software Vulnerability Detection

迈向可扩展的自动化仓库级软件漏洞检测数据集
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 5/10 · 论文处于 ML 与 PL 交叉,构建仓库级漏洞检测基准并涉及 Agent 对抗协同,与用户关注的 Agentic 程序和“重要场景下的 benchmark”有一定交集;但其核心是安全漏洞检测数据集,而非静态分析/形式化验证、浮点程序分析或贝叶斯程序分析,也不是用 LLM/Agent 改进程序分析本身。引用 0 inbox
Amine Lbath
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出自动化基准生成器,向真实仓库注入漏洞并合成可复现 PoV 利用,构建可精确标注的仓库级漏洞检测数据集。

软件漏洞数量持续增长且难以检测。现有基于学习的漏洞检测基准大多以函数为中心,无法刻画真实、可执行、跨过程的仓库级场景;近期仓库级安全基准虽更贴近现实,但人工构建方式限制了规模。本博士研究提出一种自动化基准生成器:向真实世界代码仓库中注入真实漏洞,并合成可复现的漏洞证明(PoV)利用,从而自动产出精确标注的数据集,用于训练与评估仓库级漏洞检测智能体。研究进一步探索注入智能体与检测智能体之间的对抗共演化循环,以在现实约束下提升检测鲁棒性。目前该工作处于博士研究提案阶段。

问题
现有漏洞检测基准以函数为中心,难以反映真实可执行、跨过程的仓库级场景;而仓库级安全基准依赖人工构建,难以规模化。
方法
提出自动化基准生成器,向真实仓库注入真实漏洞并合成可复现的 PoV 利用,自动生成精确标注的仓库级数据集;并设计注入与检测智能体之间的对抗共演化循环。
评估
计划利用所生成的数据集训练和评估仓库级漏洞检测智能体,并考察对抗共演化条件下检测器的鲁棒性;本文为博士研究提案,尚未报告具体实验结果。
原文摘要(Abstract)

Software vulnerabilities continue to grow in volume and remain difficult to detect in practice. Although learning-based vulnerability detection has progressed, existing benchmarks are largely function-centric and fail to capture realistic, executable, interprocedural settings. Recent repo-level security benchmarks demonstrate the importance of realistic environments, but their manual curation limits scale. This doctoral research proposes an automated benchmark generator that injects realistic vulnerabilities into real-world repositories and synthesizes reproducible proof-of-vulnerability (PoV) exploits, enabling precisely labeled datasets for training and evaluating repo-level vulnerability detection agents. We further investigate an adversarial co-evolution loop between injection and detection agents to improve robustness under realistic constraints.

链接与引用

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

BibTeX
@inproceedings{abs-2603-17974,
  title = {Toward Scalable Automated Repository-Level Datasets for Software Vulnerability Detection},
  author = {Amine Lbath},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3804870}
}