Season 1

Episodes

1. 1

   1. Course Introduction

   3 Apr 2024

   Course Introduction

2. 2

   2. Intermediate Representation

   10 Apr 2024

3. 3

   3. Data Flow Analysis - Applications I

   17 Apr 2024

4. 4

   4. Data Flow Analysis - Applications II

   24 Apr 2024

5. 5

   5. Data Flow Analysis - Foundations I

   1 May 2024 · 103 min

   test

6. 6

   6. Data Flow Analysis - Foundations II

   8 May 2024

7. 7

   7. Interprocedural Analysis

   15 May 2024

8. 8

   8. Pointer Analysis

   22 May 2024

9. 9

   9. Pointer Analysis - Foundations I

   29 May 2024

10. 10

    10. Pointer Analysis - Foundations II

    5 Jun 2024

11. 11

    11. Pointer Analysis - Context Sensitivity I

    12 Jun 2024

12. 12

    12. Pointer Analysis - Context Sensitivity II

    19 Jun 2024

13. 13

    13. Static Analysis for Security

    26 Jun 2024

14. 14

    14. Datalog-Based Program Analysis

    3 Jul 2024

15. 15

    15. CFL-Reachability and IFDS

    10 Jul 2024

16. 16

    16. Soundness and Soundiness

    17 Jul 2024