Scalable Shape Analysis for Systems Code
Abstract elided by the publisher.
Related papers
- Shape Analysis for Low-Level Code SAS 2006
- Thread-modular shape analysis PLDI 2007
- Scalable conditional induction variables (CIV) analysis CGO 2015
- Tracing garbage collection on highly parallel platforms ISMM 2010
- Region-based shape analysis with tracked locations POPL 2005
- Semantic-directed clumping of disjunctive abstract states POPL 2017
- A relational framework for higher-order shape analysis ICFP 2014
- Shape Analysis via Second-Order Bi-Abduction CAV 2014