A classic static tool: slicing
Of interest by itself
And for the underlying representations
Originally, data flow
Later, program dependence graphs
Previous slide
Next slide
Back to first slide
View graphic version