Season 1

test

1. 1. Course Introduction

   2024-04-03

   Course Introduction

2. 2. Intermediate Representation

   2024-04-10

3. 3. Data Flow Analysis - Applications I

   2024-04-17

4. 4. Data Flow Analysis - Applications II

   2024-04-24

5. 5. Data Flow Analysis - Foundations I

   2024-05-01 · 103m

   test

6. 6. Data Flow Analysis - Foundations II

   2024-05-08

7. 7. Interprocedural Analysis

   2024-05-15

8. 8. Pointer Analysis

   2024-05-22

9. 9. Pointer Analysis - Foundations I

   2024-05-29

10. 10. Pointer Analysis - Foundations II

    2024-06-05

11. 11. Pointer Analysis - Context Sensitivity I

    2024-06-12

12. 12. Pointer Analysis - Context Sensitivity II

    2024-06-19

13. 13. Static Analysis for Security

    2024-06-26

14. 14. Datalog-Based Program Analysis

    2024-07-03

15. 15. CFL-Reachability and IFDS

    2024-07-10

16. 16. Soundness and Soundiness

    2024-07-17