branrickman/learn-angr

A pedagogical CTF to teach symbolic execution with the angr toolset