Sciweavers

Share
CC
2007
Springer

A Practical Escape and Effect Analysis for Building Lightweight Method Summaries

9 years 8 months ago
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two values: k, indicating the heap depth beyond which objects escape; and b, a branching factor indicating the maximum number of fields per object that the analysis precisely tracks. Restricting these parameters to small values allows us to keep the method summaries lightweight and practical. Results collected from our implementation shows that the analysis scales well to large code bases such as the GNU Classpath libraries. They also show that summaries can help analysis clients approximate the effects of method calls, avoiding expensive inter-procedural computations, or imprecise worst-case assumptions.
Sigmund Cherem, Radu Rugina
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CC
Authors Sigmund Cherem, Radu Rugina
Comments (0)
books