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