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

Resources