📺 No Poster Available

Season 1

Static Program Analysis

16 Episodes Premiered April 3, 2024

Season Overview

test

Comments 0

Please log in to leave a comment.

No comments yet. Be the first to share your thoughts!

Episodes

1
EP 1

Course Introduction

Apr 3, 2024

Course Introduction

View Details
2
EP 2

Intermediate Representation

Apr 10, 2024

No overview available for this episode.

View Details
3
EP 3

Data Flow Analysis - Applications I

Apr 17, 2024

No overview available for this episode.

View Details
4
EP 4

Data Flow Analysis - Applications II

Apr 24, 2024

No overview available for this episode.

View Details
5
EP 5

Data Flow Analysis - Foundations I

May 1, 2024

test

View Details 103 MIN
6
EP 6

Data Flow Analysis - Foundations II

May 8, 2024

No overview available for this episode.

View Details
7
EP 7

Interprocedural Analysis

May 15, 2024

No overview available for this episode.

View Details
8
EP 8

Pointer Analysis

May 22, 2024

No overview available for this episode.

View Details
9
EP 9

Pointer Analysis - Foundations I

May 29, 2024

No overview available for this episode.

View Details
10
EP 10

Pointer Analysis - Foundations II

Jun 5, 2024

No overview available for this episode.

View Details
11
EP 11

Pointer Analysis - Context Sensitivity I

Jun 12, 2024

No overview available for this episode.

View Details
12
EP 12

Pointer Analysis - Context Sensitivity II

Jun 19, 2024

No overview available for this episode.

View Details
13
EP 13

Static Analysis for Security

Jun 26, 2024

No overview available for this episode.

View Details
14
EP 14

Datalog-Based Program Analysis

Jul 3, 2024

No overview available for this episode.

View Details
15
EP 15

CFL-Reachability and IFDS

Jul 10, 2024

No overview available for this episode.

View Details
16
EP 16

Soundness and Soundiness

Jul 17, 2024

No overview available for this episode.

View Details