Static Program Analysis
TV Show| Seasons count | 1 |
| Episodes count | 16 |
| Total viewing time | 1 h. 43 m. |
List of episodes of the series ‘Static Program Analysis’
Episodes count: 16
S1.E1 ∙ Course Introduction
Apr 3, 2024
(0 scores)
Course Introduction
S1.E2 ∙ Intermediate Representation
Apr 10, 2024
(0 scores)
S1.E3 ∙ Data Flow Analysis - Applications I
Apr 17, 2024
(0 scores)
S1.E4 ∙ Data Flow Analysis - Applications II
Apr 24, 2024
(0 scores)
S1.E5 ∙ Data Flow Analysis - Foundations I
May 1, 2024
(0 scores)
1 h. 43 m.
test
S1.E6 ∙ Data Flow Analysis - Foundations II
May 8, 2024
(0 scores)
S1.E7 ∙ Interprocedural Analysis
May 15, 2024
(0 scores)
S1.E8 ∙ Pointer Analysis
May 22, 2024
(0 scores)
S1.E9 ∙ Pointer Analysis - Foundations I
May 29, 2024
(0 scores)
S1.E10 ∙ Pointer Analysis - Foundations II
Jun 5, 2024
(0 scores)
S1.E11 ∙ Pointer Analysis - Context Sensitivity I
Jun 12, 2024
(0 scores)
S1.E12 ∙ Pointer Analysis - Context Sensitivity II
Jun 19, 2024
(0 scores)
S1.E13 ∙ Static Analysis for Security
Jun 26, 2024
(0 scores)
S1.E14 ∙ Datalog-Based Program Analysis
Jul 3, 2024
(0 scores)
S1.E15 ∙ CFL-Reachability and IFDS
Jul 10, 2024
(0 scores)
S1.E16 ∙ Soundness and Soundiness
Jul 17, 2024
(0 scores)