Shape Analysis in the Absence of Pointers and Structure
No abstract available.
Related papers
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors SAS 2008
- Shape Analysis for Mobile Ambients POPL 2000
- Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis ESOP 2005
- Relational inductive shape analysis POPL 2008
- Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution) TACAS 2021
- Dynamic shape analysis via degree metrics ISMM 2009
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024