用数据流转代替控制流,实现无需人工干预的代码自动修复
Autonomous Issue Resolver: Towards Zero-Touch Code Maintenance
- 以数据状态为节点、函数为边构建数据流转图,追踪缺陷源头
- 在SWE-Verified基准上达到87.1%的修复率,显著优于传统方法
- 适合需要高可靠性的自动化维护场景,如开源项目与工业级系统
大型语言模型虽已革新函数级代码生成,但仓库级自动化程序修复仍面临挑战。现有方法多采用以控制为中心的范式,迫使智能体在复杂的目录结构和无关控制逻辑中穿行。本文提出从标准代码属性图(CPGs)转向数据转换图(DTG)的新范式,将数据状态作为节点、函数作为边,使智能体通过数据溯源而非控制流定位逻辑缺陷。我们设计了多智能体框架,融合数据完整性导航与控制流逻辑。理论分析与案例研究证实该方法有效解决现代编码智能体中标准RAG系统的“语义陷阱”。我们实现了名为自主问题解析器(AIR)的完整系统,基于神经符号推理与DTG结构,支持可扩展的逻辑修复。在多个SWE基准测试中表现优异,在SWE-Verified上达到87.1%的修复率。该方法直接应对当前AI代码助手的核心局限,满足日益依赖软件世界对更稳健基础的需求。
原文摘要 · Abstract (English)
Recent advances in Large Language Models have revolutionized function-level code generation; however, repository-scale Automated Program Repair (APR) remains a significant challenge. Current approaches typically employ a control-centric paradigm, forcing agents to navigate complex directory structures and irrelevant control logic. In this paper, we propose a paradigm shift from the standard Code Property Graphs (CPGs) to the concept of Data Transformation Graph (DTG) that inverts the topology by modeling data states as nodes and functions as edges, enabling agents to trace logic defects through data lineage rather than control flow. We introduce a multi-agent framework that reconciles data integrity navigation with control flow logic. Our theoretical analysis and case studies demonstrate that this approach resolves the "Semantic Trap" inherent in standard RAG systems in modern coding agents. We provide a comprehensive implementation in the form of Autonomous Issue Resolver (AIR), a self-improvement system for zero-touch code maintenance that utilizes neuro-symbolic reasoning and uses the DTG structure for scalable logic repair. Our approach has demonstrated good results on several SWE benchmarks, reaching a resolution rate of 87.1% on SWE-Verified benchmark. Our approach directly addresses the core limitations of current AI code-assistant tools and tackles the critical need for a more robust foundation for our increasingly software-dependent world.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。