When we are debugging a program and we are in a symbolic condition, it could be very cool to have an option to negate the condition solving the formulas for the condition instruction.
We should inject the solution in the memory/registers and set the flags to satisfy the conditions (ZF or SF, or...).
When we are debugging a program and we are in a symbolic condition, it could be very cool to have an option to negate the condition solving the formulas for the condition instruction.
We should inject the solution in the memory/registers and set the flags to satisfy the conditions (ZF or SF, or...).