Sezon 1
Bölümler
1 Course Introduction 3 Nis 2024 2 Intermediate Representation 10 Nis 2024 3 Data Flow Analysis - Applications I 17 Nis 2024 4 Data Flow Analysis - Applications II 24 Nis 2024 5 Data Flow Analysis - Foundations I 1 May 2024 6 Data Flow Analysis - Foundations II 8 May 2024 7 Interprocedural Analysis 15 May 2024 8 Pointer Analysis 22 May 2024 9 Pointer Analysis - Foundations I 29 May 2024 10 Pointer Analysis - Foundations II 5 Haz 2024 11 Pointer Analysis - Context Sensitivity I 12 Haz 2024 12 Pointer Analysis - Context Sensitivity II 19 Haz 2024 13 Static Analysis for Security 26 Haz 2024 14 Datalog-Based Program Analysis 3 Tem 2024 15 CFL-Reachability and IFDS 10 Tem 2024 16 Soundness and Soundiness 17 Tem 2024