42 search results - page 5 / 9 » Compositional Pointer and Escape Analysis for Java Programs |
IWMM
2007
Springer
15 years 3 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
IWPC
2003
IEEE
15 years 2 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
SPIN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
168
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...