Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
No abstract available.
Related papers
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Interprocedural pointer alias analysis TOPLAS 1999
- An Evaluation of Automatic Object Inline Allocation Techniques OOPSLA 1998
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- Rethinking Incremental and Parallel Pointer Analysis TOPLAS 2019
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016