.png){kind=icon}
Return
Computation of dynamic program slices for unstructured programs
.png){kind=icon}
PRE
AI
DOI：10.1109/32.581327.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
A dynamic program slice is an executable part of the program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) of interest at some execution position. The existing algorithms of dynamic slice computation use data and control dependencies to compute dynamic slices. These algorithms are limited to structured programs because, as we will show, they may compute incorrect dynamic slices for unstructured programs due to the limitations of control dependencies that are used to compute dynamic slices. In this paper we present a novel approach of dynamic slice computation for unstructured programs. The approach employs the notion of a removable block in finding dynamic program slices. Dynamic slices are derived by identifying not only these parts of program execution that contribute to the computation of the value of a variable of interest, but also these parts of program execution that do not contribute to the computation of the variable value. Data dependencies are used to identify contributing computations, whereas removable blocks are used to identify noncontributing computations. We have proven that the presented dynamic slicing algorithms compute correctly dynamic slices. In addition, these algorithms may compute more accurate dynamic slices as opposed to the existing algorithms that use control dependencies. The presented algorithms have been implemented in a dynamic slicing tool that supports dynamic slicing for Pascal programs.
Keywords:
program slicing
dynamic program slicing
removable block
control dependence
data dependence
execution trace
unstructured program
debugging
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
5.6
Papers:
2.9K
Citations:
1.1W
Organization
No organization information available
Cited Papers
ShareSaveLate Bronze Age climate change and the destruction of the Mycenaean Palace of Nestor at Pylos.png)
PLOS ONE
OAAI
PLOS ONEIF0
OAAIShareSaveShareSaveStable carbon isotope values confirm a recent increase in grasslands in northwestern MadagascarThe Holocene
The HoloceneIF0
PREAI
ShareSaveShareSave
View more