Rev 4: Z3 and Pwntools
by Jason An
This week's topic is Z3, a constraint solver that lets us symbolically reason about values in a program. This is useful for solving challenges where we need to reverse-engineer or generate specific inputs. We will also learn about Pwntools, a Python library that helps automate exploits and interact with binaries more efficiently.
Slides
Challenges
A set of challenges with increasing difficulty are deployed to platform.acmcyber.com to practice the concepts covered in the slides.
rev/universal
rev/the-eye
rev/infinity-gauntlet