Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Abstract elided by the publisher.
Related papers
- Practical Integrated Analysis of Pointers, Dataflow and Control Flow TOPLAS 2013
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998
- Precision-guided context sensitivity for pointer analysis OOPSLA 2018
- Precise Flow-Insensitive May-Alias Analysis is NP-Hard TOPLAS 1997
- Interprocedural pointer alias analysis TOPLAS 1999
- A Principled Approach to Selective Context Sensitivity for Pointer Analysis TOPLAS 2020
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Symbolic pointer analysis revisited PLDI 2004