Procedures
What happens when you have procedures and still want to slice?
Weiser extended his dataflow algorithm to interprocedural slicing
The PDG approach also extends to procedures
- But interprocedural PDGs are a bit hairy (Horwitz, Reps, Binkley used SDGs)
- Representing conventional parameter passing is not straightforward