Tags: z3 revesing 

Rating:

Use GDB to dump the unscrambled function and use Z3 solver to calculate the flag

Original writeup (https://github.com/Hong5489/PlaidCTF2020/tree/master/reee).