Dynamic Slicing in the Presence of Unconstrained Pointers

  title={Dynamic Slicing in the Presence of Unconstrained Pointers},
  author={Hiralal Agrawal and Richard A. DeMillo and Eugene H. Spafford},
  booktitle={Symposium on Testing, Analysis, and Verification},
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite variables do not lend themselves well to static analysis, especially when the language involved is not strongly-typed. When debugging a program, however, we are interested in analyzing the program behavior for testcases that reveal a fault. In this paper, we present a uniform approach to handling pointers and composite… CONTINUE READING


Publications referenced by this paper.