LARA Lecture 12: Applications and Methodology of Data-Flow Analysis Continuation of Lecture 11. Recall: Lattices.scala DataflowAnalysis.scala SignAnalysis.scala Applications of Data-Flow Analysis Concrete Execution as Data-Flow Analysis Designing Correct Data-Flow Analyses Termination of Data-Flow Analysis Java Definite Assignments Initialization Analysis Live Variable Analysis Range Analysis Typestate Analysis
