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

manual_symbolize_and_solve_crackme_hash2