Re: Dynamic Memory Allocation Analysis

Torben Mogensen <torbenm@diku.dk>
2 Jun 1999 10:30:22 -0400

          From comp.compilers
Related articles
Dynamic Memory Allocation Analysis marcoxa@parades.rm.cnr.it (Marco Antoniotti) (1999-05-29)
Re: Dynamic Memory Allocation Analysis lrclause@cs.uiuc.edu.STOPSPAM (Lars Clausen) (1999-06-02)
Re: Dynamic Memory Allocation Analysis ast@halcyon.com (1999-06-02)
Re: Dynamic Memory Allocation Analysis torbenm@diku.dk (Torben Mogensen) (1999-06-02)
Re: Dynamic Memory Allocation Analysis marcoxa@copernico.parades.rm.cnr.it (Marco Antoniotti) (1999-06-02)
Re: Dynamic Memory Allocation Analysis gneuner@dyn.com (1999-06-03)
| List of all articles for this month |
From: Torben Mogensen <torbenm@diku.dk>
Newsgroups: comp.compilers
Date: 2 Jun 1999 10:30:22 -0400
Organization: Compilers Central
References: 99-05-143 99-06-010
Keywords: storage

Marco Antoniotti <marcoxa@parades.rm.cnr.it> wrote:


> Could anybody point to work done on static (source level or lower)
> analysis of dynamic heap allocation.


The region inference work done by Mads Tofte and others aim to
statically analyse live-times of heap-allocated objects, so they can
be deallocated early. The methods used there may have some use for
what you are trying to do. See http://www.diku.dk/~tofte for some
references to this work.


Torben Mogensen (torbenm@diku.dk)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.