paperbot · PL 论文追踪

全部论文 待读 收藏

P1 JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a Unified Multi-backend Harness, and a Leakage-Aware Evaluation Mode

JavaVulBench:具有真实划分、统一多后端评测框架与泄漏感知评估模式的 Java 漏洞基准
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 6/10 · 该论文是 Java 漏洞检测的基准,属于 PL 与 AI 交叉(LLM 用于代码安全分析),并针对现有基准的真实划分和预训练泄漏问题提出改进,符合用户对重要场景 benchmark 的关注;但不涉及浮点/贝叶斯程序分析、Agentic 程序静态分析或形式化验证,理论形式化贡献较少,因此匹配度中等。引用 0 inbox
Norbert Sándor Szolnoki, Gábor Antal
crossref: 2026-10-09

AI 速览

一句话:发布 JavaVulBench:面向 Java 漏洞检测的真实划分、多后端统一评测与预训练泄漏感知基准。

针对 Java 漏洞检测评测中划分不真实、后端不统一和预训练污染影响可比性的问题,本文发布 JavaVulBench 数据集与评测框架。数据集包含约 30,600 个 Java 方法、覆盖 1,740 个 CVE 和 700 余个项目,提供方法级与行级标签、每个 CVE 的发布日期,以及随机、项目不相交、时间、去重和未见 CWE 家族五种真实划分。框架以统一的 LlmPrediction schema 支持编码器分类器、Ollama 本地生成模型和 OpenRouter API LLM,可从单条命令在相同条件下评测 12 个参考检测器。作者还提供预训练污染审计,以区分测试 CVE 是否在模型截止日期之后发布,并发布数据集、源码、微调检查点与演示视频。

问题
Java 漏洞检测缺乏真实数据划分、统一的多后端评测流程,且 LLM 预训练污染会威胁评测可比性与可信度。
方法
构建 JavaVulBench 基准:含方法/行级标签、CVE 发布日期和五种真实划分;提供统一 LlmPrediction schema,覆盖编码器、Ollama 本地生成模型与 OpenRouter API LLM,并附带逐模型预训练污染审计。
评估
在相同条件下通过单一命令评测 12 个参考检测器,包括 CodeBERT、GraphCodeBERT、UniXcoder、DeepSeek-Coder-1.3B 以及八个 API/开源 LLM,并利用污染审计区分模型截止后发布的 CVE 与可能已被预训练见过的 CVE。
原文摘要(Abstract)

We release JavaVulBench, a benchmark dataset and evaluation harness for Java vulnerability detection. The dataset contains ∼30,600 Java methods spanning 1,740 CVEs and 700+ projects, labelled at both method and line granularity, with per-CVE publication dates and five realistic split strategies: random, project-disjoint, temporal, deduplicated, and unseen CWE-family. The harness provides a single LlmPrediction schema across three backend families (encoder classifiers, local generative models served by Ollama, and API-served LLMs routed through OpenRouter) so that twelve reference detectors CodeBERT, GraphCodeBERT, UniXcoder, DeepSeek-Coder-1.3B, and eight API/open-weight LLMs (GPT-4o, GPT-4.1-mini, Claude Sonnet 4, DeepSeek-v3, DeepSeek-Coder-v2, Qwen-2.5-Coder-14B/7B, CodeLlama-13B) are evaluated under identical conditions from a single command. A pre-training contamination audit is shipped alongside every model, enabling users to distinguish test CVEs published after the documented model cutoff from those that may have been seen during pre-training. To support reproducibility and reuse, the benchmark release includes the dataset, source code, fine-tuned model checkpoints, and a short demonstration video(https://www.youtube.com/watch?v=nMTX_hqkuoM).

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX
@inproceedings{abs-2607-02825,
  title = {JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a Unified Multi-backend Harness, and a Leakage-Aware Evaluation Mode},
  author = {Norbert Sándor Szolnoki and Gábor Antal},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3834649}
}