Startseite > Fachgruppen > Softwaretechnik > Lehre > Vorlesungsarchiv > SS2017 > Designing code analyses for large-scale software systems (DECA) SS2017 > Schedule
Schedule
The following course schedule is non-binding and may change at any time and without prior announcement.
Date | Topic | Lecturer |
27.04.2017 | Introduction and course outline | Bodden |
04.05.2017 | Intra-procedural static code analysis | Bodden |
11.05.2017 | Call-graph construction | Bodden |
18.05.2017 | Points-to Analysis | Bodden |
01.06.2017 | Inter-procedural program analysis | Bodden |
08.06.2017 | Call-strings approach to context-sensitive analysis | Bodden |
22.06.2017 | Functional approach to context-sensitive analysis | Bodden |
29.06.2017 | Distributive analyses using IFDS | Bodden |
06.07.2017 | Distributive analyses using IDE | Bodden |
13.07.2017 | SPLlift & VASCO | Krüger |
20.07.2017 | Android Taint Analysis & Demand-driven pointer analysis | Bodden |
27.07.2017 | Recap | Bodden |