The Flow-Insensitive Precision of Andersen's Analysis in Practice
No abstract available.
DOI 10.1007/978-3-642-23702-7_9
Related papers
- Fast and Accurate Flow-Insensitive Points-To Analysis POPL 1997
- Practical Integrated Analysis of Pointers, Dataflow and Control Flow TOPLAS 2013
- Unification-based pointer analysis with directional assignments PLDI 2000
- PoTo: A Hybrid Andersen's Points-To Analysis for Python ECOOP 2025
- Precise Flow-Insensitive May-Alias Analysis is NP-Hard TOPLAS 1997
- Interprocedural pointer alias analysis TOPLAS 1999
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998
- Points-to analysis with efficient strong updates POPL 2011