Timeline for Can Ghidra do backward symbolic execution?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 7, 2019 at 7:08 | history | edited | 0xC0000022L♦ | CC BY-SA 4.0 |
deleted 26 characters in body
|
| Aug 6, 2019 at 22:53 | answer | added | Jordan | timeline score: 2 | |
| Aug 2, 2019 at 9:50 | comment | added | 0xec | I think what you want is rather forward symbolic execution. Angr can do it. You would execute the program from starting state to the goal state while marking the inputs as symbolic. You can add the constraints to the goal state such as the value of this register must be equal to this value. | |
| Aug 2, 2019 at 9:20 | review | First posts | |||
| Aug 5, 2019 at 9:24 | |||||
| Aug 2, 2019 at 9:17 | history | asked | Pythonpsycho1337 | CC BY-SA 4.0 |