SLAyer: Memory Safety for Systems-Level Code
No abstract available.
Related papers
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Understanding memory and thread safety practices and issues in real-world Rust programs PLDI 2020
- Floorplan: spatial layout in memory management systems GPCE 2019
- Typed Memory Management in a Calculus of Capabilities POPL 1999
- Safe to the last instruction: automated verification of a type-safe operating system PLDI 2010
- Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top ISMM 2026
- The high-level benefits of low-level sandboxing POPL 2020
- LMS-Verify: abstraction without regret for verified systems programming POPL 2017