128 search results - page 2 / 26 » Fast Interprocedural Class Analysis |
123
Voted
CC
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
138
Voted
CC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
116
Voted
CC
2000
Springer
15 years 7 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
123
click to vote
SCAM
2005
IEEE
15 years 8 months ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
110
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...