Tags: reverse_engineering z3 

Rating:

Decompress with DCR2DIR, decompile, and z3

Original writeup (https://nankeen.me/posts/plaid-ctf-2020-shockwave/).