Course Programme

The course aims to give knowledge about different forms of program analyses, implementation strategies and existing frameworks for implementing them, and the most common mathematical formalisms needed to understand the presentation of these analyses.

To gain this understanding, we will examine a number of different program analysis challenges. You will then implement solutions to some of these challenges and evaluate your solution against a software corpus and study the performance characteristics of your solution.

Course responsible: Christoph Reichenbach

Formal course plan: In English and in Swedish.

Prerequisites

The course assumes:

basic knowledge of algorithms and data structures
good knowledge of object-oriented programming in Java
recommended: background in compilers

Formally, the requirement is EDAA01 (Programming, Second course).

Literature

We will be using research papers and course notes as material for this class, as there is no good textbook that fits the format of this class (yet).

The book Principles of Program Analysis by Nielson, Nielson and Hankin (one copy is available in the library) provides a highly formal introduction to much of the material covered in class.