Semantic patch inference

Authors:
Jesper Andersen;Anh Cuong Nguyen;David Lo;Julia L. Lawall;Siau-Cheng Khoo
Affiliations:
University of Copenhagen, Denmark;National University of Singapore, Singapore;Singapore Management University, Singapore;INRIA, France;National University of Singapore, Singapore
Venue:
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Year:
2012

Citing 15
Cited 1

Change detection in hierarchically structured information

SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
CCFinder: a multilinguistic token-based code clone detection system for large scale source code

IEEE Transactions on Software Engineering
Understanding source code evolution using abstract syntax tree matching

MSR '05 Proceedings of the 2005 international workshop on Mining software repositories
Dynamic Analysis of Software Systems using Execution Pattern Mining

ICPC '06 Proceedings of the 14th IEEE International Conference on Program Comprehension
Understanding collateral evolution in Linux device drivers

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones

ICSE '07 Proceedings of the 29th international conference on Software Engineering
CP-Miner: a tool for finding copy-paste and related bugs in operating system code

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Efficient mining of iterative patterns for software specification discovery

Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining
Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction

IEEE Transactions on Software Engineering
Documenting and automating collateral evolutions in linux device drivers

Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Scalable detection of semantic clones

Proceedings of the 30th international conference on Software engineering
Clone detection and removal for Erlang/OTP within a refactoring environment

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Inferring Specifications of Object Oriented APIs from API Source Code

APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Generic Patch Inference

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Systematic editing: generating program transformations from an example

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

LASE: locating and applying systematic edits by learning from examples

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.