Abstraction for Shape Analysis with Fast and Precise Transformers
Abstract elided by the publisher.
Related papers
- Fast Numerical Program Analysis with Reinforcement Learning CAV 2018
- Symbolically Computing Most-Precise Abstract Operations for Shape Analysis TACAS 2004
- Fast and precise certification of transformers PLDI 2021
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- Relational inductive shape analysis POPL 2008
- Region-based shape analysis with tracked locations POPL 2005
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009