Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
Abstract elided by the publisher.
Related papers
- Shape Analysis for Mobile Ambients POPL 2000
- Automated Verification of Shape and Size Properties Via Separation Logic VMCAI 2007
- Dynamic shape analysis via degree metrics ISMM 2009
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- Shape Types POPL 1997
- Shape Analysis in the Absence of Pointers and Structure VMCAI 2010
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996