Tags: rev z3 

Rating:

Original writeup (https://github.com/cscosu/ctf-writeups/tree/master/2021/redpwn_ctf/2k).