-
Notifications
You must be signed in to change notification settings - Fork 72
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implement solve a condition #19
Comments
To implement this we need to keep in memory all the conditional jumps executed. We can keep the TritonInstruction, or only the information we need like the RIP symbolic expression ID and address when the jump is taken/not taken. For now I keeping all the TritonInstructions in a map:
I think keeping all the instructions is not very memory consuming compare to keep all the symbolic expressions. And having all the instructions could be useful for other functionalities like the slicing #23, or if the user wants to know the symbolic expressions for a given address. Other important thing is that a condition could be executed more than one time. So we need to have a list per every address. Then we should show besides the "Negate condition" menu a submenu with all the times the condition was executed, so the user could negate a condition at a given point. For example, if we have a loop and we want the loop to be executed 10 times, we only want to negate the 10th condition. |
When we are solving we should differenciate between solving online or offline. Offline is when the user has execute all the program and after that is trying to invert a condition. But this condition could has been executed multiple times so we need to offer him which one he wants to negate. Online is when the user is debugging an app and he wants to invert a condition. In that case we don't need to ask him for the condition, he want to invert the current condition at the last execution point. |
@illera88 done right? Or there is some pending thing to do here? Maybe change the name of the negate runtime. Right now it is:
Maybe we could use:
Is it ok? |
yes! I like the second one. Change the name and close |
This is still not working when the condition is in a loop. |
We need to implement the button solve a condition.
The idea is first to show the solution in the IDa output.
We could do more things:
The text was updated successfully, but these errors were encountered: