Reverse Engineering using Ghidra; Finding a flag by reversing an executable
This is the BabyRev challenge from Foobar 2022 CTF. A binary checks our guess against a flag and tell us if its correct or not. We start with Strings, strace & ltrace and then go for our big gun: Ghidra !
Update: The z3py has a solve method which can be used for what I done that manually :D