COP 5021 unit -*- Outline -*- * introduction motivation for the course * overview questions that can be answered, different kinds of analysis * ast-cfg-jastadd ASTs, CFGs, and building them in JastAdd * dataflow may vs. must analysis, forward and backward, AE, RD, VBE, LV, du, ud * type-checking basics of type checking notation, and implementation in JastAdd * semantics denotational for expressions, SOS for commands correctness possibly generalizing to monotone frameworks * applying-dataflow to classic java, to null pointer analysis, etc., based on projects * abstract-interp abstract interpretation, design of analyses * summary-review summary and review of the course