Kalvala, Sara and Warburton, Richard (2011) A formal approach to fixing bugs. In: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, 26-30 Sep 2011. Published in: Lecture Notes in Computer Science, Vol.7021 pp. 172-187.

Abstract

Bugs within programs typically arise within well-known motifs, such as complex language features or misunderstood programming interfaces. Some software development tools often detect some of these situations, and some integrated development environments suggest automated fixes for some of the simple cases. However, it is usually difficult to hand-craft and integrate more complex bug-fixing into these environments. We present a language for specifying program transformations which is paired with a novel methodology for identifying and fixing bug patterns within Java source code. We propose a combination of source code and bytecode analyses: this allows for using the control flow in the bytecode to help identify the bugs while generating corrected source code. The specification language uses a combination of syntactic rewrite rules and dataflow analysis generated from temporal logic based conditions. We demonstrate the approach with a prototype implementation.

Request changes to a record

Actions (login required)

View Item