Ponce Versions Save

Previous release was incorrectly using an old commit

• Fixed bug when moving to new Triton version

• Fixed shity bug with checking Ponce version which made it crash
• Moved to new Triton version

Support IDA versions:

• 7.7
• 8.0
• 8.1

Small fixes

• Update to make Ponce compatible with IDA 7.7
• Use vcpkg to install Triton on the CI build system
• Update Ponce to use latest Triton version that does not require from Boost

• Solved bug on Ponce v0.3.1 that made Ponce configuration to fail on load

• Update to make Ponce compatible with IDA 7.6
• Update to use the latest version of Triton
• Add config option to set the solver timeout

This is a major release with an almost complete rewrite from Ponce v0.2. We do not longer support IDA versions prior to 7.0 but you can now use Ponce for any IDA version >=7.0 for Windows, Linux and OSX. ARM support has been included in this release too. This is a non exhaustive list of new features, and bug fixes:

• ARM support
• Added timeouts for formula solving
• Adding option to continue tracing until next symbolic value
• Moved to Github actions as CI environment creating artifacts for Windows, Linux and OSX for every build.
• Now you can chose between different instruction hits on what formula to solve (very useful when this gets implemented)
• Add additional symbolic expressions to a symbolic value
• Add custom name to a symbolic value
• Fix bug that restarted engines when Ponce got disabled (ref)
• Ponce can be integrated with the Hex Rays decompiler showing info about symbolic conditions
• Rewrite Ponce configuration popup
• Integrate Ponce action box to every possible IDA view (Hex view, Register view, Stack view)
• Rewrite the documentation. This can be accessed at http://docs.idaponce.com
• A ton of bug fixes that makes Ponce more robust

For more info you can check the v0.3 milestones.

The binaries below are categorized by IDA version. Inside of the archives you will find both 32 and 64 bits versions for each Windows, Linux and OSX flavours.

We hope you enjoy it :)

Windows, OSX and Linux native support Multiple bug fixes. IDA 6.8 version compatibility

First release version presented to the IDA plugin contest. Ponce.plw (x86) Ponce.p64 (x64) Ponce_x86_static_IDA68.plw (x86 for IDA 6.8) Ponce_x64_static_IDA68.p64 (x64 for IDA 6.8)

You can find the latest builds here: https://github.com/illera88/Ponce/tree/master/latest_builds