Week 9: Z3 and Angr

LECTURE REVISION:

On the second slide of the lecture in the video labeled “installing” the command for installing IPython is improperly listed. This is corrected on the downloadable slides. The correct command is “pip3 install ipython”

Nifty Z3 Python Guide

Explains some basics and gives some example problems with answers

Virtualenv and Angr install script

Get it here

Lecture Video

Get the slides here

Demos

Get them here

Assignments

Continue working on the final