Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
- 5 September 2002
- book chapter
- Published by Springer Nature
- p. 230-246
- https://doi.org/10.1007/3-540-45789-5_18
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Estimating the Impact of Scalable Pointer Analysis on OptimizationPublished by Springer Nature ,2001
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Data-Flow Analysis of Program FragmentsPublished by Springer Nature ,1999
- Relevant context inferencePublished by Association for Computing Machinery (ACM) ,1999
- LackwitPublished by Association for Computing Machinery (ACM) ,1997
- Demand interprocedural dataflow analysisPublished by Association for Computing Machinery (ACM) ,1995
- Demand-driven computation of interprocedural data flowPublished by Association for Computing Machinery (ACM) ,1995
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990