Grab a copy of Verdi’s code and proof:
git clone https://github.com/uwplse/verdi.git
Read the following papers and answer the questions.