Schedule

News

The exercise session on 13th July will be a Q&A session.

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

Lecture schedule

Date Lecture topic Lecturer
14.07. NO LECTURE
07.04. Introduction and Course Outline, Sparse IFDS Bodden
14.04. Demand-Driven Program Analysis Bodden
21.04. Pushdown Systems Mory
28.04. Weighted Pushdown Systems Mory
05.05. Synchronised Pushdown Systems, Boomerang Mory
12.05. CogniCrypt Bodden
19.05. Modeling Pointer Arithmetic in C/C++ Mory
02.06. FlowDroid Bodden
09.06. Handling Reflection Bodden
23.06. Hybrid Analysis: Harvester, Heapster Bodden
30.06. SWAN/SWAN Assist Bodden
07.07. Improved User Experience Bodden

Exercise Schedule

Exercise Hand out date Due date
Sparse IFDS 13.04. 20.04.
Demand-Driven Algorithms 20.04 27.04.
Pushdown Systems 27.04. 04.05.
Weighted Pushdown Systems 04.05. 11.05.
SPDS 11.05. 18.05.
Boomerang 01.06. 08.06.

Lab assignments

Lab Hand out date Due date
CogniCrypt 18.05 01.06
FlowDroid 08.06 22.06
Tamiflex 22.06 06.07
SWAN_Assist 06.07 20.07