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]

Preview

Text 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):	https://doi.org/10.1109/WCRE.2002.1173076
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.”
Keywords:	Interprocedural, Program Slicing, side-effects, WSL
Departments, Centres and Research Units:	Computing
Dates:	Date Event 29 November 2002 Published 29 January 2003 Published Online
Event Location:	Richmond, Virginia, United States
Date range:	29 October - 1 November 2002
Item ID:	30938
Date Deposited:	11 Jan 2022 09:47
Last Modified:	11 Jan 2022 16:48
URI:	https://research.gold.ac.uk/id/eprint/30938

View statistics for this item...

Edit Record (login required)