2013 20th Working Conference on Reverse Engineering (WCRE) (2002)
Oct. 29, 2002 to Nov. 1, 2002
This paper extends a previously developed intraprocedural denotational program slicer to handle procedures. Using the denotational approach, slices can be defined in terms of the abstract syntax of the object language without the need of a control flow graph or similar intermediate structure.<div></div> The algorithm presented here is capable of correctly handling the interplay between function and procedure calls, side-effects, and short-circuit expression evaluation. The ability to deal with these features is required in reverse engineering of legacy systems, where code often contains side-effects.
M. Harman, C. Fox, L. Ouarbya, M. Daoudi, S. Danicic, "A Denotational Interprocedural Program Slicer", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 0181, 2002, doi:10.1109/WCRE.2002.1173076