Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses
No abstract available.
Related papers
- Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis PLDI 2008
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Precise Flow-Insensitive May-Alias Analysis is NP-Hard TOPLAS 1997
- Context-Insensitive Alias Analysis Reconsidered PLDI 1995
- Semi-sparse flow-sensitive pointer analysis POPL 2009
- Flow-Sensitive Type-Based Heap Cloning ECOOP 2020