27:36

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

28:11

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

29:52

Recon2022 - Reverse engineering of black box binaries with symbolic and concolic execution technique

10:32

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

28:53

Lecture "Program Slicing (Part 2, Static Slicing)" of "Program Analysis"

31:31

Symbolic Testing

14:53

Lecture "Information Flow Analysis (Part 1, Introduction)" of "Program Analysis"

25:19

Lecture "Program Slicing (Part 4, Dynamic Slicing)" of "Program Analysis"