Future Directions
Scalability and precision
- Whole program analysis - avoiding complete program in memory - SCC which may be large
- Value of increased precision
- Varying precision - different levels of precision during analysis
Other areas of research in data flow analysis
- Analysis of other program representations - target code
- Incorporating architectural resources into analysis
- Combining analyses
- Augmenting analysis with profile information