Tags: reverse engineering z3 radare2
Rating:
http://byte-off.com/ctf/alexctf-catalyst-system-writeup/
I don't remember
