Work

Semantic patch inference

Year: 2012

Type: conference-paper

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.

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/2351676.2351753

Authors: Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo

Institutions: University of Copenhagen, National University of Singapore, Singapore Management University, Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Software Engineering Research

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2078030161

FWCI: 1.494

Cites: 53

Cited by: 37

Related to: 10