In the next gif we can see the use of automatic tainting and how we can negate a condition and inject it in memory while debugging:
We select the symbolic engine and set the option to symbolize
We identify the condition that needs to be satisfied to win the crackMe.
We negate an inject the solution everytime a byte of our input is checked against the key.
Finally we get the key
elite that has been injected in memory and therefore reach the
The crackme source code can be found here