Completed
Language for Modelling Constraints
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Lost in the Loader - The Many Faces of the Windows PE File Format
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 The PE File Format
- 3 PE Headers
- 4 Section Table
- 5 The Subtle Problem of the PE Ecosystem
- 6 Implications of PE discrepancies
- 7 The Big Picture
- 8 Constraints Modelling
- 9 Modelling Phase
- 10 Language for Modelling Constraints
- 11 INPUT statements
- 12 Symbol Definition
- 13 (Terminal) Predicates
- 14 Conditional Statements
- 15 Analysis Framework
- 16 Validation Mode
- 17 Generation Mode
- 18 Model SMT Equivalence
- 19 Differential Test Case Generation
- 20 Differences Enumeration
- 21 Corner Case Generation
- 22 Modelled Software
- 23 Windows vs Windows
- 24 Windows vs. ClamAV
- 25 Memory Mapping Discrepancies
- 26 Notable Test Case
- 27 Malware Hunt Campaign Results
- 28 Takeaways
