Dynamic slicing in the presence of unconstrained pointers

摘要: Program slices are useful in debugging. Most work on program slicing to date has concentrated nding of programs involving only scalar variables. Pointers and composite variables do not lend themselves well static analysis, especially when the language involved is strongly-typed. When debugging a program, however, we interested analyzing behavior for testcases that reveal fault. In this paper, present uniform approach handling pointers such as arrays, records, unions purpose obtaining dynamic slices. The proposed works even allows unconstrained performs no runtime checks, C.