November 18th - November 23rd

19/11:  

• Written assignment at 2 pm (1h long)
• 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