DiceCTF2021

Dice Is You [RE]

11 minute read

A wasm reversing challenge using closure compiler to simplify code, and z3 to solve for final solution.