13:10

Lecture "Data Flow Analysis (Part 2, Basic Principles)" of "Program Analysis"

18:58

Lecture "Information Flow Analysis (Part 2, Policies)" of "Program Analysis"

24:56

Lecture "Information Flow Analysis (Part 3, Analysis)" of "Program Analysis"

51:20

Lecture "Data Flow Analysis (Part 3, More Examples)" of "Program Analysis"

1:18:46

9. What Compilers Can and Cannot Do

28:11

Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"

3:05:13

Python Revision

24:27

Lecture "Introduction (Part 1, Motivation)" of "Program Analysis"