Type-Based Alias Analysis

10 years 10 months ago
Type-Based Alias Analysis
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by using additional high-level information such as field names. The third extends the second with a flow-insensitive analysis. Although other researchers suggests using types to disambiguate memory references, none evaluates its effectiveness. We perform both static and dynamic evaluations of type-based alias analyses for Modula-3, a statically-typed type-safe language. The static analysis reveals that type compatibility alone yields a very imprecise alias analysis, but the other two analyses significantly improve alias precision. We use redundant load elimination (RLE) to demonstrate the effectiveness of the three alias algorithms in terms of the opportunities for optimization, the impact on simulated execution times, and to compute an upper bound on what a perfect alias analysis would yield. We show modest d...
Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where PLDI
Authors Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
Comments (0)