Static Program Slicing Tool with Real-time Stack Information
In order to improve the accuracy of static program slicing, this paper designs and implements a static slicing tool with real-time stack information. The technology is to find out those methods or statements that are surely not executed, through specu-lating the program execution paths using stack trace information, which would be generated when an exception is thrown. Experi-ment results show that the slicing tool can reduce search space further, and improve the accuracy and efficiency of the general static slicing method.
stack traceexecution pathsstatic slicingsearch space