Pointer disambiguation via strict inequalities
No abstract available.
Related papers
- Runtime pointer disambiguation OOPSLA 2015
- On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs PLDI 2001
- Rapid: Region-Based Pointer Disambiguation OOPSLA 2023
- Symbolic range analysis of pointers CGO 2016
- Restrictification of function arguments CC 2016
- Free theorems in the presence of seq POPL 2004
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000