License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.2.1.8
URN: urn:nbn:de:0030-drops-61298
URL: http://drops.dagstuhl.de/opus/volltexte/2016/6129/
Go back to Dagstuhl Artifacts Series


Tan, Tian ; Li, Yue ; Zhang, Yifei ; Xue, Jingling

Program Tailoring: Slicing by Sequential Criteria (Artifact)

pdf-format:
DARTS-2-1-8.pdf (0.4 MB)
artifact-format:
DARTS-2-1-8-artifact-e6fccf02cf279d8a7a4c442919aca52f.tgz (569 MB)


Abstract

Protocol and typestate analyses often report some sequences of statements ending at a program point P that needs to be scrutinized, since P may be erroneous or imprecisely analyzed. Program slicing focuses only on the behavior at P by computing a slice of the program affecting the values at P. In our companion paper "Program Tailoring: Slicing by Sequential Criteria", we propose to focus on the subset of that behavior at P affected by one or several statement sequences, called a sequential criterion (SC). By leveraging the ordering information in a SC, e.g., the temporal order in a few valid/invalid API method invocation sequences, we introduce a new technique, program tailoring, 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. This artifact is based on TAILOR, a prototyping implementation of program tailoring, to evaluate the usefulness of TAILOR in practice. The provided package is designed to support repeatability of all the experiments of our companion paper. Specifically, it allows users to reproduce the results for all the three research questions addressed in the evaluation section of our companion paper. In addition, an extensive set of extra results, which are not described in the companion paper, are also included, in order to help users better understand this work.

BibTeX - Entry

@Article{tan_et_al:DARTS:2016:6129,
  author =	{Tian Tan and Yue Li and Yifei Zhang and Jingling Xue},
  title =	{{Program Tailoring: Slicing by Sequential Criteria (Artifact)}},
  pages =	{8:1--8:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2016},
  volume =	{2},
  number =	{1},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6129},
  URN =		{urn:nbn:de:0030-drops-61298},
  doi =		{10.4230/DARTS.2.1.8},
  annote =	{Keywords: Program Slicing, Program Analysis, API Protocol Specification}
}

Keywords: Program Slicing, Program Analysis, API Protocol Specification
Seminar: DARTS, Volume 2, Issue 1
Related Scholarly Article: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.15
Issue Date: 2016
Date of publication: 14.07.2016


DROPS-Home | Fulltext Search | Imprint Published by LZI