Chapter 6: Pointer Analysis
40:54
Chapter 7: Constraint-Based Analysis
1:37:33
Module 6: Pointer Analysis
1:27:23
Static Program Analysis (part 1/2) - Anders Møller - PLISS 2019
19:37
Chapter 1: Introduction to Software Analysis
40:01
Chapter 5: Dataflow Analysis
46:48
Chapter 11: Dynamic Symbolic Execution
1:37:47
Yann Dubois: Scalable Evaluation of Large Language Models
1:35:49