Tags: z3 revesing
Rating:
Use GDB to dump the unscrambled function and use Z3 solver to calculate the flag
I don't remember