LARA Lecture 10: Basics of Dataflow Analysis through Examples Idea of Data Flow Analysis Control-Flow Graph Definition Interpreting CFG Translating Syntax Tree to CFG Constant Propagation Sign Analysis Initialization Analysis Partial order and Lattices Lattices in Dataflow Analysis Continued in Lecture 11 and Lecture 12 Reference Lecture notes on static analysis by Michael Schwartzbach Tiger book, chapters 10, 17
