Symbolic Execution with Klee and Angr

Today we will use two amazing tools from the world of symbolic execution: Klee and Angr.

Before starting to work on the lab we recommend going over the Klee paper - OSDI 2008.