search

illera88 / Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
https://docs.idaponce.com
Other
1.48k stars 72 forks source link

The plugin only works for one debugging session #12

Closed 0ca closed 8 years ago

0ca commented 8 years ago

The plugin only works well the first time we execute a program inside a binary.

We should reset the engines, and all the state after an execution ends.