arXiv:2605.03117cs.SEcs.AI2026-05被引 2

构建细粒度程序图,让自动修复工具更准定位代码错误。

ARISE: A Repository-level Graph Representation and Toolset for Agentic Program Repair and Fault Localization

论文配图:ARISE: A Repository-level Graph Representation and Toolset for Agentic Program Repair and Fault Localization
图 1 · 摘自论文原文
  • 用跨语句的数据流边构建多粒度程序图,支持行级定位。
  • 在SWE-bench Lite上修复率提升至22.0%,行级召回率增58%。
  • 工具可插拔,适配多种智能修复框架,通用性强。

自动化仓库级程序修复需要智能体在数千个文件中定位故障并生成正确补丁。现有基于图的方法仅建模文件、类、函数的结构关系,未刻画过程内变量值流动,导致缺乏函数与行级定位所需的语义精度。本文提出ARISE(Agentic Repository-level Issue Solving Engine),一个框架无关的工具集,构建包含语句级节点和过程内定义-使用边的多粒度程序图,并通过三层工具API集成到任意智能体框架。核心工具为数据流切片,单次调用即可追踪某变量涉及的定义或使用语句。在包含11个Python仓库300个真实GitHub问题的SWE-bench Lite上,以Qwen2.5-Coder-32B-Instruct为基座,将ARISE集成到SWE-agent作为宿主,修复率达22.0%(66/300),较未修改的SWE-agent基线提升4.7个百分点。该提升主要源于更精准的定位:函数召回率@1从0.43升至0.60(相对提升40%),行级召回率@1从0.26升至0.41(相对提升58%)。受控消融实验表明,性能提升主要来自数据流图而非工具架构设计;进一步在另一宿主框架上部署验证其可移植性。图构建器与切片API解耦,可作为即插即用工具集服务于未来修复研究。

原文摘要 · Abstract (English)

Automated program repair at repository scale requires an agent to locate a fault among thousands of files and synthesize a correct patch. Existing graph-based agents represent how a repository is organized into files, classes, and functions, but they do not model how variable values flow within a procedure, which leaves the agent without the semantic precision that function-level and line-level localization demand. We present ARISE (Agentic Repository-level Issue Solving Engine), a framework-agnostic toolset that builds a multi-granularity program graph, extending structural relationships down to statement-level nodes connected by intra-procedural definition-use edges, and exposes it through a three-tier tool API that mounts on any tool-use agentic framework. The central primitive is data-flow slicing, a queryable agent tool that traces in a single call which statements define or consume a variable of interest. On SWE-bench Lite (300 real GitHub issues across 11 Python repositories) with the open-source Qwen2.5-Coder-32B-Instruct backbone, mounting ARISE on SWE-agent as the host resolves 22.0% of issues (66/300), a 4.7 percentage-point gain over the unmodified SWE-agent baseline under the identical backbone and host. We show this gain is largely attributable to sharper localization, with Function Recall@1 (R@1) rising from 0.43 to 0.60 (a 40% relative gain) and Line R@1 from 0.26 to 0.41 (a 58% relative gain). Controlled ablations attribute the improvement to the data-flow graph rather than the tool schema, and we further mount the same toolset on a second host framework to study its portability. Decoupled from any single scaffold, the graph builder and slicing API form a drop-in toolset for future repair research.

程序修复数据流分析智能代理代码理解

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。