Schedule

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

 

Lecture schedule

Date Lecture topic Lecturer
11.04 Introduction and Course Outline, Sparse IFDS Bodden
18.04. Pushdown Systems Mory
25.04. Weighted Pushdown Systems Bodden
02.05. Demand-Driven Program Analysis Bodden
16.05. Synchronised Pushdown Systems, Boomerang Bodden
23.05. CogniCrypt Bodden
06.06. Modeling Pointer Arithmetic in C/C++ Bodden
13.06. FlowDroid Bodden
20.06. Handling Reflection, SparseBoomerang Bodden
27.06. Hybrid Analysis: Harvester, Heapster Tahir
04.07. SWAN/SWAN Assist Bodden
11.07. Improved User Experience Karakaya
18.07. NO LECTURE  

 

Exercise Schedule

Exercise Hand out date Due date
Sparse IFDS 11.04. 24.04.
Pushdown Systems 24.04. 08.05.
Weighted Pushdown Systems 08.05. 15.05.
Demand-Driven Algorithms 15.05. 22.05.
SPDS 22.05. 29.05.
Boomerang 29.05. 05.06.

 

Lab assignments

Lab Hand out date Due date
CogniCrypt 05.06 19.06
FlowDroid 19.06 03.07
Tamiflex 03.07 17.07