FlexiRepair: Transparent Program Repair with Generic Patches
Anil Koyuncu, Tegawend\'e F. Bissyand\'e, Jacques Klein, Yves Le Traon

TL;DR
FLEXIREPAIR introduces a transparent, flexible program repair framework leveraging generic patches to standardize fix patterns, enabling industry adoption and providing a solid baseline with competitive performance.
Contribution
It presents a novel repair framework that uses generic patches as a unified, formal representation for fix patterns in automated program repair.
Findings
Preliminary experiments show competitive performance.
Framework is open, transparent, and flexible.
Potential for industry adoption due to existing community acceptance.
Abstract
Template-based program repair research is in need for a common ground to express fix patterns in a standard and reusable manner. We propose to build on the concept of generic patch (also known as semantic patch), which is widely used in the Linux community to automate code evolution. We advocate that generic patches could provide at the same time a unified representation and a specification for fix patterns. Generic patches are indeed formally defined, and there exists a robust, industry-adapted, and extensible engine that processes generic patches to perform control-flow code matching and automatically generates concretes patches based on the specified change operations. In this paper, we present the design and implementation of a repair framework, FLEXIREPAIR, that explores generic patches as the core concept. In particular, we show how concretely generic patches can be inferred and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Software System Performance and Reliability · Software Reliability and Analysis Research
