|
465
|
Parametric Shape Analysis via 3-Valued Logic
– Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
- 1999
|
|
582
|
Separation Logic: A Logic for Shared Mutable Data Structures
– John Reynolds
- 2002
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
108
|
A local shape analysis based on separation logic
– Dino Distefano, Peter W. O’Hearn, Hongseok Yang
- 2006
|
|
320
|
Interprocedural DataflowAnalysis via Graph Reachability
– Thomas Reps, Mooly Sagiv, Susan Horwitz
- 1994
|
|
477
|
Points-to Analysis in Almost Linear Time
– Bjarne Steensgaard
- 1996
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
46
|
A semantics for procedure local heaps and its abstractions
– Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
- 2005
|
|
237
|
Local Reasoning about Programs that Alter Data Structures
– Peter O'Hearn, John Reynolds, Hongseok Yang
- 2001
|
|
273
|
Two approaches to interprocedural data flow analysis
– M SHARIR, A PNUELI
- 1981
|
|
178
|
Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c
– Rakesh Ghiya, Laurie J Hendren
- 1996
|
|
106
|
TVLA: A System for Implementing Static Analyses
– Tal Lev-Ami, Mooly Sagiv
- 2000
|
|
269
|
Purify: Fast detection of memory leaks and access errors
– Reed Hastings, Bob Joyce
- 1991
|
|
84
|
Symbolic execution with separation logic
– Josh Berdine, Cristiano Calcagno, Peter W. O’hearn, Queen Mary
- 2005
|
|
27
|
Thread-modular shape analysis
– Alexey Gotsman, Josh Berdine
- 2007
|
|
359
|
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
– Maryam Emami, Rakesh Ghiya, Laurie J. Hendren
- 1994
|
|
72
|
A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector
– David L. Heine, Monica S. Lam
- 2003
|
|
66
|
Shape analysis for composite data structures
– Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O’hearn, Hongseok Yang, Queen Mary
- 2007
|
|
1637
|
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
– P Cousot, R Cousot
- 1977
|
