I unfortunately couldn’t participate in this CTF, but some people who actually
did sent me this exercise because they think it was a little bit too tricky to
be solved by hand, and thought that angr could be helpful. Now that I have
some time, I could actually take a look at it and indeed, angr does its job (the
name was a big hint, maybe a little bit too much in my opinion).
I will not get into much details here, the binary is a 64-bit ELF executable
with only a short main function that calls another one called GoHomeOrGoCrazy.
The return value of this function determines if you have the right flag or not:
It takes a lot of time for angr to solve it, but it’s always easier than doing
it ourselves :)
Here is the script I used to solve this challenge: