Pointer-Range Analysis
Abstract elided by the publisher.
Related papers
- Symbolic range analysis of pointers CGO 2016
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998
- Pointer Analysis for Multithreaded Programs PLDI 1999
- Pointer analysis for structured parallel programs TOPLAS 2003
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024
- Symbolic pointer analysis revisited PLDI 2004
- Efficient field-sensitive pointer analysis of C TOPLAS 2007