Here we can see the use of the symbolic engine and how we can solve constrains:
- Passing simple
- 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.