This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th IEEE International Conference on Software Maintenance (ICSM'98)
Analysis of Dynamic Memory Access using Amorphous Slicing
Bethesda, Maryland
March 16-March 19
ISBN: 0-8186-8779-7
Mark Harman, University of London
Yoga Sivagurunathan, University of North London
Sebastian Danicic, University of North London
Problems associated with understanding, verifying and re-engineering 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 power can be dramatically improved using domain-specific transformation rules.
Citation:
Mark Harman, Yoga Sivagurunathan, Sebastian Danicic, "Analysis of Dynamic Memory Access using Amorphous Slicing," icsm, pp.336, 14th IEEE International Conference on Software Maintenance (ICSM'98), 1998
Usage of this product signifies your acceptance of the Terms of Use.