Tags: pwntools z3 pwn rev 

Rating:

Solved using Z3 and Pwntools

Original writeup (https://anee.me/goribbler-bsidessf-2018-672e272b9fd2).