UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Analysis of dynamic memory access using amorphous slicing

Harman, M; Sivagurunathan, Y; Danicic, S; (1998) Analysis of dynamic memory access using amorphous slicing. In: Khoshgoftaar, TM and Bennett, K, (eds.) INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 336 - 345). IEEE COMPUTER SOC

Full text not available from this repository.

Abstract

Problems associated with understanding, verifying and reengineering the way in which a system allocates and releases dynamic memory present significant challenges to the software maintainer. Because the questions underlying these problems are undecidable, no system can provide a completely fail safe certification. For example, in checking for memory leaks, a system can only warn of potential problems, but cannot guarantee that no leaks remain.We present an approach to modelling the dynamic memory access properties of a program using amorphous program slicing to create a Dynamic Memory Model (DMM). The slices are constructed from a transformed version of the original program in which heap access has been made explicit using a pseudo variable to denote the top of the heap. The DMM is a simplified version of the original program which is concerned solely with the dynamic memory access behaviour of the original. We illustrate the use of DMMs in problems of comprehension, verification and re-engineering.We introduce a proof-of-concept DMM construction algorithm, showing how slicing simplification pow er can be dramatically improved using domain-specific transformation rules.

Type: Proceedings paper
Title: Analysis of dynamic memory access using amorphous slicing
Event: International Conference on Software Maintenance
Location: BETHESDA, MD
Dates: 1998-11-16 - 1998-11-20
ISBN: 0-8186-8779-7
Keywords: PROGRAM
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1302110
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item