Florian Liekweg, Universität Karlsruhe
Martin Trapp, IBM T.J. Watson Research Centre, New York
Uwe Assmann, Universität Karlsruhe
Gerhard Goos, Universität Karlsruhe


Heap Analysis on SSA

We present the VDG-based intermediate format FIRM, which builds on the works
of C. Cliff, B. Steensgard, et. al.  This format includes abstractions for
heap memory and heap analysis.  It is used in the Karlsruhe compiler for the
modern object-oriented language Sather-K which supports multiple inheritance,
generics, garbage collection, and value types.  We present approaches and
ideas for memory fragmentation,  use-def-based optimisations, and static 
garbage collection.