F2020 - Intro to Constraint Solving with z3

While we've covered the fundamentals of how software can be taken apart and reverse engineered, no reverse engineer's tool belt would be complete without a trusty constraint solver. By modeling a complex problem as a logical problem, we can quickly generate inputs to hit a difficult to understand code path.