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