Computer Science Faculty Research

Title

srcSlice: Very Efficient and Scalable Forward Static Slicing

Document Type

Article

Publication Date

Fall 11-2014

Abstract

A highly efficient lightweight forward static slicing approach is presented and evaluated. The approach does not compute the program/system dependence graph but instead dependence and control information is computed as needed while computing the slice on a variable. The result is a list of line numbers, dependent variables, aliases, and function calls that are part of the slice for all variables (both local and global) for the entire system. The method is implemented as a tool, called srcSlice, on top of srcML, an XML representation of source code. The approach is highly scalable and can generate the slices for all variables of the Linux kernel in approximately 20min on a typical desktop. Benchmark results are compared with the CodeSurfer slicing tool from GrammaTech Inc., and the approach compares well with regard to accuracy of slices. Copyright (c) 2014 John Wiley & Sons, Ltd.

Publication Title

Journal of Software-evolution and Process

Volume

26

Issue

11

First Page

931

Last Page

961