Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
No abstract available.
Related papers
- Revealing Sources of (Memory) Errors via Backward Analysis OOPSLA 2025
- Automating Proofs of the Absence of Common Runtime Errors POPL 1978
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Mailbox Abstractions for Static Analysis of Actor Programs ECOOP 2017
- Shape Analysis in the Absence of Pointers and Structure VMCAI 2010
- Property Directed Reachability for Proving Absence of Concurrent Modification Errors VMCAI 2017
- SAFECode: enforcing alias analysis for weakly typed languages PLDI 2006
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024