Ponce
Search…
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

Last modified 1yr ago
Copy link