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 |
| 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 |
| 14.07. | NO LECTURE |
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 |