An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor

TL;DR

This paper presents ConFixAgent, an LLM-driven tool that automatically repairs concurrency bugs without prior bug information, using static happens-before graphs for context extraction, and outperforms existing solutions.

Contribution

Introduces a novel end-to-end concurrency bug repair approach with a new context extraction method based on static happens-before graphs, enhancing repair accuracy.

Findings

ConFixAgent significantly outperforms state-of-the-art tools.

The context extraction method improves repair accuracy.

The approach effectively handles diverse concurrency bugs.

Abstract

With the rise of multi-core processors and distributed systems, concurrent programming has become essential yet challenging, primarily due to the non-deterministic nature of thread execution. Manually addressing concurrency bugs is time-consuming and error-prone. Automated Program Repair techniques provide a promising solution. However, developing an end-to-end concurrency bug repair tool is particularly challenging. Most existing tools rely on the assumption that bug-related information is readily available or that concurrency bug contexts are ideally extracted, which is often impractical in real-world scenarios. This paper introduces ConFixAgent, an LLM-driven agent capable of fixing various types of concurrency bugs in an end-to-end manner, eliminating the need for any prior bug-related information. Specifically, we propose a novel context extraction approach designed for concurrency bug repair, utilizing Static Happens-Before Graphs to identify bug-relevant sections.We implemented ConFixAgent and evaluated it across multiple benchmark sets. Our extensive experiments demonstrate that ConFixAgent significantly outperforms state-of-the-art tools in addressing diverse types of concurrency bugs, with its context extraction method markedly enhancing the accuracy of LLM-generated repair solutions.