‌

‌

List of episodes of the series «Static Program Analysis»

Seasons count: 1
Episodes count: 16
Total viewing time: 1 h. 43 m.

Course Introduction

Release date: 4/3/2024

Course Introduction

Episode number: 1
Episode description:
Course Introduction

Intermediate Representation

Release date: 4/10/2024

Intermediate Representation

Episode number: 2

Data Flow Analysis - Applications I

Release date: 4/17/2024

Data Flow Analysis - Applications I

Episode number: 3

Data Flow Analysis - Applications II

Release date: 4/24/2024

Data Flow Analysis - Applications II

Episode number: 4

Data Flow Analysis - Foundations I

Release date: 5/1/2024

Data Flow Analysis - Foundations I

Episode number: 5
Episode duration: 103 min.
Episode description:
test

Data Flow Analysis - Foundations II

Release date: 5/8/2024

Data Flow Analysis - Foundations II

Episode number: 6

Interprocedural Analysis

Release date: 5/15/2024

Interprocedural Analysis

Episode number: 7

Pointer Analysis

Release date: 5/22/2024

Pointer Analysis

Episode number: 8

Pointer Analysis - Foundations I

Release date: 5/29/2024

Pointer Analysis - Foundations I

Episode number: 9

Pointer Analysis - Foundations II

Release date: 6/5/2024

Pointer Analysis - Foundations II

Episode number: 10

Pointer Analysis - Context Sensitivity I

Release date: 6/12/2024

Pointer Analysis - Context Sensitivity I

Episode number: 11

Pointer Analysis - Context Sensitivity II

Release date: 6/19/2024

Pointer Analysis - Context Sensitivity II

Episode number: 12

Static Analysis for Security

Release date: 6/26/2024

Static Analysis for Security

Episode number: 13

Datalog-Based Program Analysis

Release date: 7/3/2024

Datalog-Based Program Analysis

Episode number: 14

CFL-Reachability and IFDS

Release date: 7/10/2024

CFL-Reachability and IFDS

Episode number: 15

Soundness and Soundiness

Release date: 7/17/2024

Soundness and Soundiness

Episode number: 16