A Relational Approach to Interprocedural Shape Analysis
No abstract available.
Related papers
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Interprocedural Shape Analysis for Recursive Programs CC 2001
- Interprocedural Shape Analysis for Cutpoint-Free Programs SAS 2005
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- Calling context abstraction with shapes POPL 2011
- Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis VMCAI 2019
- Points-to Analysis in Almost Linear Time POPL 1996