Interprocedural Shape Analysis with Separated Heap Abstractions
No abstract available.
Related papers
- Calling context abstraction with shapes POPL 2011
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Interprocedural Shape Analysis for Recursive Programs CC 2001
- Interprocedural Shape Analysis for Cutpoint-Free Programs SAS 2005
- A Relational Approach to Interprocedural Shape Analysis SAS 2004