Schedule

The following course schedule is non-binding and may change at any time and without prior announcement.

Date Topic Lecturer
27.07.2016 Recap Bodden
27.04.2016 Introduction and course outline Bodden
04.05.2016 Intra-procedural static code analysis Bodden
11.05.2016 Call-graph construction Bodden
18.05.2016 Points-to Analysis Bodden
01.06.2016 Inter-procedural program analysis Bodden
08.06.2016 Call-strings approach to context-sensitive analysis Bodden
22.06.2016 Functional approach to context-sensitive analysis tbd
29.06.2016 Distributive analyses using IFDS Bodden
06.07.2016 Distributive analyses using IDE Bodden
13.07.2016 SPLlift & VASCO Krüger
20.07.2016 Hot Topics in Static Analysis Bodden