Schedule

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

Lecture schedule

Date Lecture topic Lecturer
12.07 Recap Bodden
12.04 Introduction and course outline Bodden
19.04 Intra-procedural static code analysis Bodden
26.04 Call-graph construction Hermann
03.05 Points-to Analysis Bodden
17.05 Inter-procedural program analysis Bodden
24.05 Call-strings approach to context-sensitive analysis Bodden
07.06 Functional approach to context-sensitive analysis Bodden
14.06 Distributive analyses using IFDS Bodden
21.06 Distributive analyses using IDE Nguyen
28.06 SPLlift & VASCO Bodden
05.07 Hot Topics in Static Analysis Bodden

Exercise / Lab schedule

There will be exercise / lab sessions on the Fridays that follow a lecture: 13.04, 20.04, 27.04, 04.05, 18.05, 25.05, 08.06, 15.06, 22.06, 29.06, 06.07, 13.07.

Lab assignments

Lab Hand out date Due date
L1 20.04.2018 04.05.2018
L2 04.05.2018 25.05.2018
L3 25.05.2018 15.06.2018
L4 22.06.2018 06.07.2018