Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
No abstract available.
Related papers
- Miri: Practical Undefined Behavior Detection for Rust POPL 2026
- SyRust: automatic testing of Rust libraries with semantic-aware program synthesis PLDI 2021
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- RustBelt meets relaxed memory POPL 2020
- Concurrent incorrectness separation logic POPL 2022
- Crabtree: Rust API Test Synthesis Guided by Coverage and Type OOPSLA 2024
- Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection ESOP 2015
- RustBelt: securing the foundations of the rust programming language POPL 2018