WTW.
Static Program Analysis

Season 1

16 episodes · Apr 3, 2024

test

0/16 watched

Swipe a row to mark watched · long-press to mark up to there

  • S1E1

    Course Introduction

    Apr 3, 2024

    Course Introduction

    Reviews
  • S1E2

    Intermediate Representation

    Apr 10, 2024
    Reviews
  • S1E3

    Data Flow Analysis - Applications I

    Apr 17, 2024
    Reviews
  • S1E4

    Data Flow Analysis - Applications II

    Apr 24, 2024
    Reviews
  • S1E5

    Data Flow Analysis - Foundations I

    May 1, 2024103m

    test

    Reviews
  • S1E6

    Data Flow Analysis - Foundations II

    May 8, 2024
    Reviews
  • S1E7

    Interprocedural Analysis

    May 15, 2024
    Reviews
  • S1E8

    Pointer Analysis

    May 22, 2024
    Reviews
  • S1E9

    Pointer Analysis - Foundations I

    May 29, 2024
    Reviews
  • S1E10

    Pointer Analysis - Foundations II

    Jun 5, 2024
    Reviews
  • S1E11

    Pointer Analysis - Context Sensitivity I

    Jun 12, 2024
    Reviews
  • S1E12

    Pointer Analysis - Context Sensitivity II

    Jun 19, 2024
    Reviews
  • S1E13

    Static Analysis for Security

    Jun 26, 2024
    Reviews
  • S1E14

    Datalog-Based Program Analysis

    Jul 3, 2024
    Reviews
  • S1E15

    CFL-Reachability and IFDS

    Jul 10, 2024
    Reviews
  • S1E16

    Soundness and Soundiness

    Jul 17, 2024
    Reviews