Semantic Patch Inference

Semantic Patch Inference

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...

Full description

Saved in:
Bibliographic Details
Main Authors: ABDERSEN, Jesper, NGUYEN, Anh Cuong, LO, David, Lawall, Julia, KHOO, Siau-Cheng
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2012
Subjects:
Software evolution
collateral evolution
semantic patch
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/1595
http://dx.doi.org/10.1145/2351676.2351753
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
Description
Summary: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.

Similar Items