Static Program Analysis
Static Program Analysis
Season 1
202416 episodes
test
Episodes
- E1
Course Introduction
2024-04-03
Course Introduction
- E2
Intermediate Representation
2024-04-10
No episode synopsis available yet.
- E3
Data Flow Analysis - Applications I
2024-04-17
No episode synopsis available yet.
- E4
Data Flow Analysis - Applications II
2024-04-24
No episode synopsis available yet.
- E5
Data Flow Analysis - Foundations I
2024-05-01 · 103m
test
- E6
Data Flow Analysis - Foundations II
2024-05-08
No episode synopsis available yet.
- E7
Interprocedural Analysis
2024-05-15
No episode synopsis available yet.
- E8
Pointer Analysis
2024-05-22
No episode synopsis available yet.
- E9
Pointer Analysis - Foundations I
2024-05-29
No episode synopsis available yet.
- E10
Pointer Analysis - Foundations II
2024-06-05
No episode synopsis available yet.
- E11
Pointer Analysis - Context Sensitivity I
2024-06-12
No episode synopsis available yet.
- E12
Pointer Analysis - Context Sensitivity II
2024-06-19
No episode synopsis available yet.
- E13
Static Analysis for Security
2024-06-26
No episode synopsis available yet.
- E14
Datalog-Based Program Analysis
2024-07-03
No episode synopsis available yet.
- E15
CFL-Reachability and IFDS
2024-07-10
No episode synopsis available yet.
- E16
Soundness and Soundiness
2024-07-17
No episode synopsis available yet.