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‚Äč

crackmexor_negate_and_inject