Ponce v0.3.7

Previous release was incorrectly using an old commit

Ponce v0.3.6

• Fixed bug when moving to new Triton version

Ponce v0.3.3

• 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

Ponce v0.3.2

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

Ponce v0.3.1

• 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

Ponce v0.3

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 :)

Ponce v0.2

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

Ponce v0.1

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