Negate & Inject

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 argv.
  • 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 Win code.
The crackme source code can be found here