Shape Analysis for Low-Level Code
Abstract elided by the publisher.
Related papers
- Shape Analysis of Low-Level C with Overlapping Structures VMCAI 2010
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- SPT: Storyboard Programming Tool CAV 2012
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- BINSEC: Binary Code Analysis with Low-Level Regions TACAS 2015
- Analysis of Low-Level Code Using Cooperating Decompilers SAS 2006
- Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis PLDI 2010
- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code APLAS 2012