A Foundation of Escape Analysis

Publication TypeConference Paper
Year of Publication2002
AuthorsHill PM, Spoto F
EditorKirchner H, Ringeissen C
Conference NameAlgebraic Methodology and Software Technology; Proceedings of 9th International Conference, AMAST 2002
ISBN Number3-540-44144-1
Keywordsabstract interpretation, escape analysis, Java, object-oriented languages, software verification, static analysis

Escape analysis of object-oriented languages allows us to stack allocate dynamically created objects and to reduce the overhead of synchronisation in Java-like languages. We formalise the escape property E, computed by an escape analysis, as an abstract interpretation of concrete states. We define the optimal abstract operations induced by E for a framework of analysis known as watchpoint semantics. The implementation of E inside that framework is a formally correct abstract semantics (analyser) for escape analysis. We claim that E is the basis for more refined and precise domains for escape analysis.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.