Program Analysis

Type: 
MSc
Outline: 
  • Introduction
  • Lexical, syntactic and semantic analysis.
  • Internal program representations, syntax tress, SSA. Attribute grammars.
  • Control flow analysis. Dataflow analysis, alias analysis..
  • Dependency graphs, dependence analysis.
  • Compilers and interpreters. JIT.
  • Compilers optimizations
  • Register allocation. Interprocedural optimizations.
  • Program analysis for program comprehension.
  • High level and language independent program representations.
  • Dynamic program analysis.
  • Program slicing and its applications. Impact analysis.
  • Modell checking and other analyses