Semantic Patch Inference
Publication Type
Conference Paper
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 pat
Discipline
Computer Sciences | Software Engineering
Publisher
27th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Citation
Andersen, Jesper; Nguyen, Anh Cuong; LO, David; Lawall, Julia; and KHOO, Siau-Cheng.
Semantic Patch Inference. (2012).
Available at: https://ink.library.smu.edu.sg/sis_research/1574