Program Slicing (1) - Data Structures and Computation of Control Flow Information
We implemented a program slicing tool for static backward
slicing of object-oriented programs written in the programming
language Oberon-2. Program slicing uses control flow and data
flow information to visualise dependences and assist the
programmer in debugging and in program understanding. We did
not restrict the language in any kind which means that we had
to cope with structured types (records and arrays), global
variables of any type, objects on the heap, side-effects of
function calls, nested procedures, recursion, dynamic binding
due to type-bound procedures (methods) and procedure variables
(function pointers), and modules.
Technical Report 11, Institute for Practical Computer Science, Johannes Kepler University Linz, Austria, March 1998.