Course Outline Traditional Static Program Analysis –Theory Today: Compiler Optimizations, Control Flow Graphs Data-flow Analysis –Classic analyses and.
