Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
Abstract elided by the publisher.
Related papers
- Calling context abstraction with shapes POPL 2011
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006
- Bottom-up shape analysis using LISF TOPLAS 2011
- Computing Procedure Summaries for Interprocedural Analysis ESOP 2007
- Semantic-directed clumping of disjunctive abstract states POPL 2017
- A Local Shape Analysis Based on Separation Logic TACAS 2006
- Interprocedural Shape Analysis for Recursive Programs CC 2001