srcSlice: A Tool for Efficient Static Forward Slicing

Author email: cnewman@kent.edu
Tool name: srcSlice
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
Bibtex: "@inproceedings{newman2016srcslice, title={srcSlice: a tool for efficient static forward slicing}, author={Newman, Christian D and Sage, Tessandra and Collard, Michael L and Alomari, Hakam W and Maletic, Jonathan I}, booktitle={2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)}, pages={621--624}, year={2016}, organization={IEEE} }"
Link to public pdf: https://dl.acm.org/citation.cfm?id=2889173
Link to tool webpage: https://www.srcml.org/
Link to demo: https://youtu.be/McvFUVSGg-g
Category: None
Tags: static forward program slicing, srcml, static program analysis
Year and Conference: 2017, ICSE
Terms of use