Completed
Symbolic Execution
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Contemporary Automatic Program Analysis
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Julian Cohen
- 3 Program Analysis
- 4 Vulnerability Research
- 5 Vulnerability Discovery
- 6 Presentation Goal
- 7 Metacharacter Injection
- 8 Command Injection
- 9 Type Confusion
- 10 Implicit Type Conversion Vulnerability
- 11 Implicit Type Conversion
- 12 Buffer Overflow
- 13 Rats
- 14 FAL Grind
- 15 BAL Grind
- 16 QuickSEC
- 17 After Free Vulnerability
- 18 Aurora Center
- 19 Aurora UAF
- 20 Symbolic Execution
- 21 Constraint Solving
- 22 Klee
- 23 CLE
- 24 CLE Demo
- 25 Symbolic Execution Engines
- 26 Static Analysis Platforms
- 27 Conclusion
- 28 Thanks
- 29 Questions
