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

Lecture schedule

Students under the old Prüfungsordnung will only be evaluated on topics covered until the 14.12. (incl.).
Date Lecture topic Lecturer
01.02. Recap Bodden
12.10. Introduction and course outline Bodden
19.10. Intra-procedural static code analysis Bodden
26.10. Call-graph construction Hermann
02.11. -- no lecture --
9.11. Points-to Analysis Mory
16.11. Inter-procedural program analysis Bodden
23.11. Call-strings approach to context-sensitive analysis Nguyen
30.11. Functional approach to context-sensitive analysis Bodden
07.12. Distributive analyses using IFDS Bodden
14.12. Distributive analyses using IDE Bodden
11.01. SPLlift & VASCO Nguyen
18.01. Pushdown Systems Bodden
25.01. Boomerang & CogniCrypt Späth

Exercise / Lab schedule

There will be exercise / lab sessions on Friday mornings, except on May 11th and July 6th.

Lab assignments

All students (old and new Prüfungsordnung) have to hand in all four labs.
Lab Hand out date Due date
L1 08.11.2018 22.11.2018
L2 22.11.2018 06.12.2018
L3 06.12.2018 20.12.2018
L4 10.01.2018 24.01.2018