Week: November 25th - November 29th | Software Security | UFRIM²AG : Moodle

Section outline

26/11:

Lab on fuzzing and symbolic execution

A short introduction on tools for code security analysis [slides]

An outline on fuzzing and Symbolic Execution [slides] [+ slides from D.Song] [+ Slides from Martin Vechev]

Reading suggestions:

Fuzzing: Hack, Art and Science, by P. Godefroid [paper and video]

A survey about fuzzing

Playing with AFL++

Playing with Klee
- Select activity How to get the fuzzing tools ...
  
  How to get the fuzzing tools ... File
- Select activity The files for the fuzzing lab
  
  The files for the fuzzing lab Folder
- Select activity Some script examples to run AFL++
  
  Some script examples to run AFL++ Folder