Semantic Patch Inference

Publication Type

Conference Proceeding Article

Publication Date

9-2012

Abstract

We propose a tool for inferring transformation specifications from a few examples of original and updated code. These transformation specifications may contain multiple code fragments from within a single function, all of which must be present for the transformation to apply. This makes the inferred transformations context sensitive. Our algorithm is based on depth-first search, with pruning. Because it is applied locally to a collection of functions that contain related changes, it is efficient in practice. We illustrate the approach on an example drawn from recent changes to the Linux kernel.

Keywords

Software evolution, collateral evolution, semantic patch

Discipline

Software Engineering

Research Areas

Software Systems

Publication

27th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Identifier

10.1145/2351676.2351753

Publisher

ACM

Additional URL

http://dx.doi.org/10.1145/2351676.2351753

Link to Full Text

Share

COinS