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. | 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 |
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 | 06.06 | 19.06 |
| FlowDroid | 19.06 | 03.07 |
| Tamiflex | 03.07 | 17.07 |