Shape Analysis of Low-Level C with Overlapping Structures
No abstract available.
Related papers
- Shape Analysis for Low-Level Code SAS 2006
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- SPT: Storyboard Programming Tool CAV 2012
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis PLDI 2010
- Shape Analysis in the Absence of Pointers and Structure VMCAI 2010
- Local Shape Analysis for Overlaid Data Structures SAS 2013