Program Tailoring: Slicing by Sequential Criteria

Introduction

Tailor is a prototyping implementation of program tailoring, a new program slicing technique introduced in our paper titled "Program Tailoring: Slicing by Sequential Criteria", ECOOP'2016 (Distinguished Paper Award). Given one or several statement sequences leading to a program point, called a sequential criterion (SC), Tailor is able to compute a tailored program that comprises the statements in all possible execution paths passing through at least one sequence in SC in the given order.

Tailor computes a tailored program by leveraging the ordering information (in the given SC), which has not been exploited in program slicing before. In the paper, Tailor has been shown to be useful for program debugging and understanding as well as program analysis. Tailor was developed by Yue Li and Tian Tan.

License

GPL v3

Downloads

The tar.gz file includes the source code, executable program and a tutorial of Tailor.

Artifact