Static Program Analysis Season 1 Plot
test
Season 1 Episodes
16 episodes1
Course Introduction
Course Introduction
2
Intermediate Representation
3
Data Flow Analysis - Applications I
4
Data Flow Analysis - Applications II
5
Data Flow Analysis - Foundations I
test
6
Data Flow Analysis - Foundations II
7
Interprocedural Analysis
8
Pointer Analysis
9
Pointer Analysis - Foundations I
10
Pointer Analysis - Foundations II
11
Pointer Analysis - Context Sensitivity I
12
Pointer Analysis - Context Sensitivity II
13
Static Analysis for Security
14
Datalog-Based Program Analysis
15
CFL-Reachability and IFDS
16
Soundness and Soundiness