Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
14:16
Lecture "Symbolic and Concolic Testing (Part 2, Challenges)" of "Program Analysis"
26:26
Introduction to Symbolic Execution with Angr - JC
1:20:53
6.858 Spring 2020 Lecture 10: Symbolic execution
24:27
Lecture "Introduction (Part 1, Motivation)" of "Program Analysis"
32:49
Reversing with Angr | State Manipulation and Symbolic Execution
27:36
Lecture "Symbolic and Concolic Testing (Part 3, Concolic)" of "Program Analysis"
43:31
Analyzing Programs with Z3
22:27