Region-based shape analysis with tracked locations
- 12 January 2005
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 40 (1), 310-323
- https://doi.org/10.1145/1047659.1040331
Abstract
No abstract availableThis publication has 25 references indexed in Scilit:
- Low-overhead memory leak detection using adaptive statistical profilingPublished by Association for Computing Machinery (ACM) ,2004
- Verifying safety properties using separation and heterogeneous abstractionsPublished by Association for Computing Machinery (ACM) ,2004
- A Relational Approach to Interprocedural Shape AnalysisLecture Notes in Computer Science, 2004
- A practical flow-sensitive and context-sensitive C and C++ memory leak detectorPublished by Association for Computing Machinery (ACM) ,2003
- ESPPublished by Association for Computing Machinery (ACM) ,2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Putting static analysis to work for verificationPublished by Association for Computing Machinery (ACM) ,2000
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- A general data dependence test for dynamic, pointer-based data structuresPublished by Association for Computing Machinery (ACM) ,1994
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990