Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
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
- Precise and scalable context-sensitive pointer analysis via value flow graph ISMM 2013
- Region-based shape analysis with tracked locations POPL 2005
- Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis OOPSLA 2025
- Flow-Sensitive Type-Based Heap Cloning ECOOP 2020
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Making context-sensitive points-to analysis with heap cloning practical for the real world PLDI 2007
- Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis SAS 2019