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

Support for x64 binaries #41

Closed 0ca closed 8 years ago

0ca commented 8 years ago

We have some code with macros for x64. But IDA is x86 for both versions, so we cannot compile ponce for x64 bits. Instead we need to replace all the macros with a condition:

inf.is_32bit()
0ca commented 8 years ago

It looks like now it is working.

The SAGE example in x64: image