This is an old revision of the document!
Lecture 13 - Advanced Binary Analysis
- Keywords: binary analysis, fuzzing, smart fuzzing, mutation, guided fuzzing, Sulley, SPIKE, libfuzzer, AFL, zzuf, symbolic execution, memory model, execution model, Angr, KLEE, S2E
