Learning objectives in this chapter: Understand basics of data-flow models and the related concepts (def-use pairs, dominators ), understand some analyses that can be performed with the data-flow model of a program, understand basic trade-offs in modeling data flow.