Program Tailoring: Slicing by Sequential Criteria


Yue Li Tian Tan Yifei Zhang Jingling Xue


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


GPL v3


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