Analysis is ubiquitous

Programming languages
- type checking, type inferencing, etc.
Compilers
- optimization, parallelization, etc.
Software engineering
- testing, program understanding, reverse and reengineering, etc.
  - needed to support software evolution