Detecting Strict Aliasing Violations in the Wild
No abstract available.
Related papers
- Stacked borrows: an aliasing model for Rust POPL 2020
- Catch me if you can: performance bug detection in the wild OOPSLA 2011
- An Empirical Study of Object Protocols in the Wild ECOOP 2011
- Contracts in the Wild: A Study of Java Programs ECOOP 2017
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications POPL 1990
- Conditional must not aliasing for static race detection POPL 2007
- Degrees of Separation: A Flexible Type System for Safe Concurrency OOPSLA 2024