paper-with-me

홈 › Papers

REDO: Execution-Free Runtime Error Detection for COding Agents

2024-10-10 · Shou Li, Andrey Kan, Laurent Callot, Bhavana Bhasker, Muhammad Shihab Rashid, Timothy B Esler

As LLM-based agents exhibit exceptional capabilities in addressing complex problems, there is a growing focus on developing coding agents to tackle increasingly sophisticated tasks. Despite their promising performance, these coding agents often produce programs or modifications that contain runtime errors, which can cause code failures and are difficult for static analysis tools to detect. Enhancing the ability of coding agents to statically identify such errors could significantly improve their overall performance. In this work, we introduce Execution-free Runtime Error Detection for COding Agents (REDO), a method that integrates LLMs with static analysis tools to detect runtime errors for coding agents, without code execution. Additionally, we propose a benchmark task, SWE-Bench-Error-Detection (SWEDE), based on SWE-Bench (lite), to evaluate error detection in repository-level problems with complex external dependencies. Finally, through both quantitative and qualitative analyses across various error detection tasks, we demonstrate that REDO outperforms current state-of-the-art methods by achieving a 11.0% higher accuracy and 9.1% higher weighted F1 score; and provide insights into the advantages of incorporating LLMs for error detection.

📄 PDF Abstract BibTeX arXiv:2410.09117

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

Focus 설명 없음

Similar Papers 제목 키워드 기반

Cerberus: Multi-Agent Reasoning and Coverage-Guided Exploration for Static Detection of Runtime Errors

2025-12-24 · Hridya Dhulipala, Xiaokai Rong, Tien N. Nguyen arxiv

In several software development scenarios, it is desirable to detect runtime errors and exceptions in code snippets without actual execution. A typical example is to detect runtime exceptions in online code snippets befo…

RubricRefine: Improving Tool-Use Agent Reliability with Training-Free Pre-Execution Refinement

2026-05-10 · Will LeVine, Brendan Evers, Sam Saltwick, Abhay Venkatesh arxiv

Iterative self-refinement is a popular inference-time reliability technique, but its effectiveness in code-mode tool use depends heavily on the structure of the feedback signal: unstructured critique helps inconsistently…

TrajAD: Trajectory Anomaly Detection for Trustworthy LLM Agents

2026-02-06 · Yibing Liu, Chong Zhang, Zhongyi Han, Hansong Liu 외 arxiv

We address the problem of runtime trajectory anomaly detection, a critical capability for enabling trustworthy LLM agents. Current safety measures predominantly focus on static input/output filtering. However, we argue t…

Anomaly Detection

Control-Informed Constraint Adaptation in Minimum-Time Trajectory Planning for Autonomous Racing

2026-08-14 · Ann-Kathrin Schwehn, Alexander Langmann, Mattia Piccinini, Johannes Betz arxiv

Autonomous racecars operate at the limits of vehicle dynamics, where small control errors translate into safety-critical behavior and lost performance. Trajectory planners assume perfect tracking and remain blind to exec…

Autonomous VehiclesTrajectory Planning

LLM as Runtime Error Handler: A Promising Pathway to Adaptive Self-Healing of Software Systems

2024-08-02 · Zhensu Sun, Haotian Zhu, Bowen Xu, Xiaoning Du 외

Unanticipated runtime errors, lacking predefined handlers, can abruptly terminate execution and lead to severe consequences, such as data loss or system crashes. Despite extensive efforts to identify potential errors dur…