1. évad
Static Program Analysis
2024
0.0
16 episodesEp. 1
Course Introduction
4/3/2024
Course Introduction
Ep. 2
Intermediate Representation
4/10/2024
No overview available.
Ep. 3
Data Flow Analysis - Applications I
4/17/2024
No overview available.
Ep. 4
Data Flow Analysis - Applications II
4/24/2024
No overview available.
Ep. 5
Data Flow Analysis - Foundations I
5/1/2024
103 min
test
Ep. 6
Data Flow Analysis - Foundations II
5/8/2024
No overview available.
Ep. 7
Interprocedural Analysis
5/15/2024
No overview available.
Ep. 8
Pointer Analysis
5/22/2024
No overview available.
Ep. 9
Pointer Analysis - Foundations I
5/29/2024
No overview available.
Ep. 10
Pointer Analysis - Foundations II
6/5/2024
No overview available.
Ep. 11
Pointer Analysis - Context Sensitivity I
6/12/2024
No overview available.
Ep. 12
Pointer Analysis - Context Sensitivity II
6/19/2024
No overview available.
Ep. 13
Static Analysis for Security
6/26/2024
No overview available.
Ep. 14
Datalog-Based Program Analysis
7/3/2024
No overview available.
Ep. 15
CFL-Reachability and IFDS
7/10/2024
No overview available.
Ep. 16
Soundness and Soundiness
7/17/2024
No overview available.