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 theWin
code.
The crackme source code can be found here
Last updated