A Denotational Interprocedural Program Slicer

Ouarbya, Lahcen; Danicic, Sebastian; Daoudi, Mohammed; Harman, Mark and Fox, Chris. 2002. 'A Denotational Interprocedural Program Slicer'. In: Ninth Working Conference on Reverse Engineering, 2002 (WCRE 2002). Richmond, Virginia, United States 29 October - 1 November 2002. [Conference or Workshop Item]

wcre.pdf - Accepted Version

Download (121kB) | Preview

Abstract or Description

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.

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.

Item Type:

Conference or Workshop Item (Paper)

Identification Number (DOI):


Additional Information:

“© 2002 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.”


Interprocedural, Program Slicing, side-effects, WSL

Departments, Centres and Research Units:



29 November 2002Published
29 January 2003Published Online

Event Location:

Richmond, Virginia, United States

Date range:

29 October - 1 November 2002

Item ID:


Date Deposited:

11 Jan 2022 09:47

Last Modified:

11 Jan 2022 16:48



View statistics for this item...

Edit Record Edit Record (login required)