Data Flow Analysis
Analyze program to find out facts - type of facts constitute the data flow problem
Compilers
- initially developed and used for machine independent optimizations
- complex analyses
- exploitation of architectural features
Software Engineering
- program understanding and verification
- debugging, especially of optimized code
- test coverage and test case generation
- regression testing
Sizes of programs growing!!