Program Analysis Theory of Compilation Lecture 16 – Dataflow Analysis Eran Yahav 1 www.cs.technion.ac.il/~yahave/tocs2011/compilers-lec16.pptx Reference: Dragon 9, 12 Last…