Typestate Checking of Machine Code
No abstract available.
Related papers
- Foundations of Typestate-Oriented Programming TOPLAS 2014
- Generalized Typestate Checking for Data Structure Consistency VMCAI 2005
- Modular typestate checking of aliased objects OOPSLA 2007
- Deriving object typestates in the presence of inter-object references OOPSLA 2005
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- Permchecker: a toolchain for debugging memory managers with typestate OOPSLA 2021
- Typestate-based semantic code search over partial programs OOPSLA 2012
- Obsidian: Typestate and Assets for Safer Blockchain Programming TOPLAS 2020