Here we can see the use of the symbolic engine and how we can solve constrains:
aaaaa as argument.
We first select the symbolic engine.
We convert to symbolic the memory pointed by argv (
Identify the symbolic condition that make us win and solve it.
Test the solution.
The crackme source code can be found here