Tags: webassembly z3 re 

Rating: 5.0

diceisyou

Original writeup (https://debugmen.github.io/ctf-writeup/2021/02/08/diceisyou.html).