8.5 Control Flow Analysis
Control flow analysis proceeds in two steps: (1) determine the basic blocks -- sequences of straight-line code and (2) build a flow graph by taking branches into account.
Basic Blocks
Building a Flow Graph
Techniques for Building Flow Graphs
Data Structures for Building Control Flow Graphs
DAGs
Data Structures for a DAG
Benefits of DAGs