JFIX: Semantics-based repair of Java programs via symbolic PathFinder Conference Paper

Author(s): Le, Xuan-Bach D; Chu, Duc-Hiep; Lo, David; Le Goues, Claire; Visser, Willem
Title: JFIX: Semantics-based repair of Java programs via symbolic PathFinder
Affiliation IST Austria
Abstract: Recently there has been a proliferation of automated program repair (APR) techniques, targeting various programming languages. Such techniques can be generally classified into two families: syntactic- and semantics-based. Semantics-based APR, on which we focus, typically uses symbolic execution to infer semantic constraints and then program synthesis to construct repairs conforming to them. While syntactic-based APR techniques have been shown successful on bugs in real-world programs written in both C and Java, semantics-based APR techniques mostly target C programs. This leaves empirical comparisons of the APR families not fully explored, and developers without a Java-based semantics APR technique. We present JFix, a semantics-based APR framework that targets Java, and an associated Eclipse plugin. JFix is implemented atop Symbolic PathFinder, a well-known symbolic execution engine for Java programs. It extends one particular APR technique (Angelix), and is designed to be sufficiently generic to support a variety of such techniques. We demonstrate that semantics-based APR can indeed efficiently and effectively repair a variety of classes of bugs in large real-world Java programs. This supports our claim that the framework can both support developers seeking semantics-based repair of bugs in Java programs, as well as enable larger scale empirical studies comparing syntactic- and semantics-based APR targeting Java. The demonstration of our tool is available via the project website at: https://xuanbachle.github.io/semanticsrepair/
Keywords: Automatic program repair; symbolic execution; program synthesis
Conference Title: ISSTA: International Symposium on Software Testing and Analysis
Conference Dates: July 10 - 14, 2017
Conference Location: Santa Barbara, CA, USA
ISBN: 978-1-4503-5076-1
Publisher: ACM  
Start Page: 376
End Page: 379
Sponsor: The Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award)
DOI: 10.1145/3092703.3098225
Notes: We thank Vu Le (Microsoft Research, Redmond), and anonymous reviewers for their comments. Duc-Hiep Chu was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award).
Open access: no
IST Austria Authors
  1. Duc-Hiep Chu
    3 Chu