Lecture Static Program Analysis

Last offered: Summer 2026

Degree
Master
Lecturer
Thomas Noll

Contents

Static analysis derives information about software from its source code. The course develops mathematical foundations and analysis techniques used in compiler optimisation and software verification.

Topics include:

  • Dataflow analysis
  • Abstract interpretation
  • Interprocedural analysis
  • Analysis of heap data structures

Prerequisites

Familiarity with imperative and object-oriented programming, elementary programming techniques, and formal languages and automata theory is expected. Experience with programming language semantics or software verification provides useful background.

Background Reading

  • Flemming Nielson, Hanne Riis Nielson, and Chris Hankin, Principles of Program Analysis.
  • Anders Møller and Michael I. Schwartzbach, Static Program Analysis.
  • Helmut Seidl, Reinhard Wilhelm, and Sebastian Hack, Übersetzerbau 3: Analyse und Transformation.