Shape Analysis With Reference Set Relations

Download Now Date Added: Oct 2009
Format: PDF

Precise reasoning about the structure of the program heap is crucial to understanding the behavior of a given program, particularly for object-oriented languages. Traditional points-to analyses, which calculate sharing properties based on coarse aggregations of the heap (for example by coalescing all cells from the same allocation site and ignoring program flow), are known to be too imprecise for many applications. More precise shape analysis techniques have been proposed when more accurate information is desired. These analyses recover precise information by distinguishing heap cells based on additional reachability, allocation site, or type information.