Modularization
Large systems have many subprograms, and control flow graphs can be too large to be useful for understanding a program
Various abstraction techniques can be used to group related subprograms into modules
- Dominance analysis
- k-cut algorithm
- Cluster analysis