跳到正文
arXiv cs.AI· Ira Ceka, Arnav Garg, Ryan Lutz, Ting Zhang, Ratnadira Widyasari, Gail Kaiser, Baishakhi Ray·· 1 天前AI 评分35

MetaVul:面向漏洞检测的智能体 harness 自动发现框架

MetaVul: Agentic Harness Discovery for Vulnerability Detection

AI 导读

MetaVul 是一个面向漏洞检测的自改进框架,从种子结构化推理脚手架出发,通过基于工作流的优化循环,利用成对漏洞函数与修复函数的反馈迭代改进 harness,并返回一组 Pareto 最优 harness。

正文 · 原文

View PDF HTML (experimental)

Abstract:LLM agents are increasingly used to automate vulnerability detection, but reliable detection is challenging because agents must distinguish subtle, security-relevant fixes from benign code variation. While underlying LLM capability has improved significantly, the accuracy of the agent still depends heavily on the harness: the code that defines the scaffolding around the LLM. Harnesses are typically fixed, and largely hand-written, limiting adaptation to evaluator feedback. Additionally, when harnesses are static, improvements on one dataset or model may not transfer to others. To address these challenges, we introduce MetaVul, a self-improving framework for harness discovery in vulnerability detection. Starting from a seed structured reasoning scaffold, MetaVul uses a workflow-based optimization loop to iteratively refine the harness using feedback from paired vulnerable and patched functions, while preserving the structured reasoning and verdict format. At each iteration, it searches over the history of prior harnesses, with access to their trajectories, logs, and metrics, and it returns a set of Pareto-optimal harnesses. We apply MetaVul to discover agent harnesses for various architectures. A validation set (202 pairs) is used for optimization, while an unseen dataset (430 pairs) is kept as the held-out set. We test whether harnesses learned from one model transfer to others not seen during optimization. Results on both frontier and small LLMs show that the optimized harnesses improve pairwise vulnerability detection up to 23.3 percentage points on the validation set and up to 25.8 points on the held-out set with a Pareto-frontier harness. Harnesses learned with one model also transfer to others. We show that harnesses optimized with one model transfer to another, improving held-out pairwise accuracy by 14.7 points without further optimization.
Comments: Originally announced September 2026
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
Cite as: arXiv:2610.40721 [cs.CR]
  (or arXiv:2610.40721v1 [cs.CR] for this version)
  https://doi.org/10.48550/arXiv.2610.40721

arXiv-issued DOI via DataCite (pending registration)

Submission history

From: Ira Ceka [view email]
[v1] Thu, 29 Oct 2026 04:30:42 UTC (59 KB)

来源:arXiv cs.AI · arxiv.org