Season 1 Plot
test
Static Program Analysis Season 1 aired on April 3rd, 2024.
Season 1 Episodes
1. Course Introduction
April 3rd, 2024
Course Introduction
2. Intermediate Representation
April 10th, 2024
3. Data Flow Analysis - Applications I
April 17th, 2024
4. Data Flow Analysis - Applications II
April 24th, 2024
5. Data Flow Analysis - Foundations I
May 1st, 20241 hr 43 min
test
6. Data Flow Analysis - Foundations II
May 8th, 2024
7. Interprocedural Analysis
May 15th, 2024
8. Pointer Analysis
May 22nd, 2024
9. Pointer Analysis - Foundations I
May 29th, 2024
10. Pointer Analysis - Foundations II
June 5th, 2024
11. Pointer Analysis - Context Sensitivity I
June 12th, 2024
12. Pointer Analysis - Context Sensitivity II
June 19th, 2024
13. Static Analysis for Security
June 26th, 2024
14. Datalog-Based Program Analysis
July 3rd, 2024
15. CFL-Reachability and IFDS
July 10th, 2024
16. Soundness and Soundiness
July 17th, 2024
