Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
Abstract elided by the publisher.
Related papers
- Arithmetizing Shape Analysis CAV 2025
- Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution) TACAS 2021
- Ownership Refinement Types for Pointer Arithmetic and Nested Arrays ECOOP 2026
- Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis CGO 2025
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Arithmetic Strengthening for Shape Analysis SAS 2007
- Space-Time Interpolants CAV 2018
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013