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