Schedule

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

 

Lecture schedule

Date Lecture topic Lecturer
06.04 Introduction and Course Outline, Sparse IFDS Bodden
13.04. Demand-Driven Program Analysis Bodden
20.04. Pushdown Systems Bodden
27.04. Weighted Pushdown Systems Bodden
04.05. Synchronised Pushdown Systems, Boomerang Mory
11.05. CogniCrypt Bodden
25.05. Modeling Pointer Arithmetic in C/C++ Mory
01.06. FlowDroid Bodden
15.06. Handling Reflection, SparseBoomerang Karakaya
22.06. Hybrid Analysis: Harvester, Heapster Bodden
29.06. SWAN/SWAN Assist Bodden
06.07. Improved User Experience Bodden
13.07. NO LECTURE  

 

Exercise Schedule

Exercise Hand out date Due date
Sparse IFDS 14.04. 21.04.
Demand-Driven Algorithms 21.04 28.04.
Pushdown Systems 28.04. 05.05.
Weighted Pushdown Systems 05.05. 12.05.
SPDS 12.05. 19.05.
Boomerang 19.05. 26.05.

 

Lab assignments

Lab Hand out date Due date
CogniCrypt 19.05 02.06
FlowDroid 02.06 16.06
Tamiflex 16.06 30.06