Building a Bridge between Pointer Aliases and Program Dependences
No abstract available.
Related papers
- Dependence Analysis for Pointer Variables PLDI 1989
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- Detecting Conflicts Between Structure Accesses PLDI 1988
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Safe, Flexible Aliasing with Deferred Borrows ECOOP 2020
- Interprocedural Side Effect Analysis With Pointer Aliasing PLDI 1993
- A Safe Approximate Algorithm for Interprocedural Pointer Aliasing PLDI 1992
- Pointer-Induced Aliasing: A Problem Classification POPL 1991