Schedule
The following course schedules are non-binding and may change at any time and without prior announcement.
Lecture schedule
| Date | Lecture topic | Lecturer |
| 12.10. | Introduction and course outline | Bodden |
| 19.10. | Type systems and flow-insensitive, constraint-based analysis | Khedkar |
| 26.10. | Lattices and fixed points | Bodden |
| 02.11. | Intra-procedural flow-sensitive static code analysis | Bodden |
| 09.11. | Interval analysis, widening and narrowing | Bodden |
| 16.11. | Call-graph construction | Khedkar |
| 23.11. | Pointer Analysis | Bodden |
| 30.11. | Inter-procedural program analysis | Bodden |
| 07.12. | Call-strings approach to context-sensitive analysis | Bodden |
| 14.12. | Functional approach to context-sensitive analysis | Bodden |
| 21.12. | Distributive analyses using IFDS | Bodden |
| 18.01. | Distributive analyses using IDE | Khedkar |
| 25.01. | VASCO | Bodden |
Exercise / Lab schedule
| Date | Lecture topic | Teaching Assistants |
| 17.10. | Introduction to exercises and labs | - |
| 24.10. | Jimple and control-flow graph | - |
| 31.10. | Lattices and design decisions | - |
| 07.11. | Intra-procedural analysis and monotone framework | - |
| 14.11. | Constant Analysis | - |
| 21.11. | Call-graph construction | - |
| 28.11. | Points-to analysis | - |
| 05.12. | Field & access paths | - |
| 12.12. | Call-strings approach to context-sensitive analysis | - |
| 19.12. | Precision & scalability | - |
| 09.01. | Distributive analyses using IFDS | - |
| 16.01. | Distributive analyses using IDE | - |
| 23.01. | VASCO | - |
| 30.01. | Recap | - |
Lab assignments
| Lab | Hand out date | Due date |
| L0 Introduction to the labs | 07.11. | - |
| L1 Intra-procedural typestate analysis | 21.11. | 05.12 |
| L2 Call-graph algorithms and pointer analysis | 05.12. | 19.12. |
| L3 Inter-procedural and field-sensitive taint analysis | 09.01. | 23.01. |
| L4 Linear Constant Propagation Using IDE | 23.01. | 30.01. |