This resource covers the following topics: Dataflow Analysis, Reaching Definitions, Constant Propagation Transform, Computing Reaching Definitions, Formalizing Analysis, Dataflow Equations, Available Expressions, General Correctness, Liveness Analysis, Dead Code Elimination, Formalizing Analysis, Analysis Information Inside Basic Blocks, Pessimistic vs. Optimistic Analyses, and Summary.