Symbolic engine

Use symbolic execution to solve a crackMe

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