Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis
Abstract elided by the publisher.
Related papers
- Exploiting the structure of the constraint graph for efficient points-to analysis ISMM 2012
- Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting PLDI 1994
- A General Data Dependence Test for Dynamic, Pointer-Based Data Structures PLDI 1994
- The Design of a Data Flow Analyzer PLDI 1982
- The fine-grained and parallel complexity of andersen's pointer analysis POPL 2021
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019
- Putting Pointer Analysis to Work POPL 1998