25 search results - page 1 / 5 » Connection Analysis: A Practical Interprocedural Heap Analys... |
LCPC
1995
Springer
13 years 9 months ago
1995
Springer
CC
2012
Springer
12 years 1 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
CC
2007
Springer
13 years 12 months ago
2007
Springer
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...
POPL
2005
ACM
14 years 6 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
QSIC
2008
IEEE
14 years 4 days ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...