Sche­du­le

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

 

Lec­ture sche­du­le

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. FlowDroid Bodden
13.06. Modeling Pointer Arithmetic in C/C++ 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. Guest Lecture on SAST at SonarSource Philipp Schubert

 

Exer­ci­se Sche­du­le

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 as­si­gnments

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