/static/assets/36.png

srcSlice: A Tool for Efficient Static Forward Slicing

Christian D. Newman
2017
2
Downloads
315
Views
0
Upvotes
Cite this Paper
2
Downloads
315
Views
0
Upvotes

Description

An efficient lightweight forward static slicing tool is presented. The tool is implemented on top of srcML, an XML representation of source code. The approach does not compute the full program dependence graph but instead dependency 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 a given variable. The tool produces the slice for all variables in a system. The approach is highly scalable and can generate the slices for all variables of the Linux kernel in less than 15 minutes
Terms of use

Comments