Back to results

University of Kansas

Executables from Program Slices for Java Programs

Abstract

dc:description.abstract

Program slicing is a popular program decomposition and analysis technique that extracts only those program statements that are relevant to particular points of interest. Executable slices are program slices that are independently executable and that correctly compute the values in the slicing criteria. Executable slices can be used during debugging and to improve program performance through paral- lelization of partially overlapping slices. While program slicing and the construction of executable slicers has been stud- ied in the past, there are few acceptable executable slicers available, even for pop- ular languages such as Java. In this work, we provide an extension to the T. J. Watson Libraries for Analysis (WALA), an open-source Java application static analysis suite, to generate fully executable slices. We analyze the problem of executable slice generation in the context of the capabilities provided and algorithms used by the WALA library. We then employ this understanding to augment the existing WALA static SSA slicer to efficiently track non-SSA data dependence, and couple this component with our executable slicer backend. We evaluate our slicer extension and find that it produces accurate executable slices for all programs that fall within the limitations of the WALA SSA slicer itself. Our extension to generate executable program slices facilitates one of the requirements of our larger project for a Java application automatic partitioner and parallelizer.

Degree

thesis:*
Grantor dc:publisher
University of Kansas
Year dc:date.issued
2015

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Gevargizian, Jason
Advisor dc:contributor.advisor
  • Kulkarni, Prasad

Subjects

dc:subject × 7

Rights

dc:rights
Statement dc:rights
  • Copyright held by the author.
Language dc:language.iso
en

Identifiers

dc:identifier.*
OAI identifier oai:identifier
oai:kuscholarworks.ku.edu:1808/19377

Chain of custody

source
Harvested from
University of Kansas
Base URL
kuscholarworks.ku.edu/server/oai/request
Last updated
2026-07-24
Source record
OAI-PMH GetRecord
citation

Gevargizian, Jason. Executables from Program Slices for Java Programs. University of Kansas, 2015. http://hdl.handle.net/1808/19377