Tags: z3 angr reverse 

Rating:

Original writeup (https://cesena.github.io/2020/05/13/z3-robot/).