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:

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).