REDO: Execution-Free Runtime Error Detection for COding Agents

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Li, Shou, Kan, Andrey, Callot, Laurent, Bhasker, Bhavana, Rashid, Muhammad Shihab, Esler, Timothy B
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866912069830311936
author Li, Shou
Kan, Andrey
Callot, Laurent
Bhasker, Bhavana
Rashid, Muhammad Shihab
Esler, Timothy B
author_facet Li, Shou
Kan, Andrey
Callot, Laurent
Bhasker, Bhavana
Rashid, Muhammad Shihab
Esler, Timothy B
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2410_09117
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle REDO: Execution-Free Runtime Error Detection for COding Agents
Li, Shou
Kan, Andrey
Callot, Laurent
Bhasker, Bhavana
Rashid, Muhammad Shihab
Esler, Timothy B
Software Engineering
Artificial Intelligence
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.
title REDO: Execution-Free Runtime Error Detection for COding Agents
topic Software Engineering
Artificial Intelligence
url https://arxiv.org/abs/2410.09117