Skip to content

Ponce v0.3

Compare
Choose a tag to compare
@illera88 illera88 released this 02 Sep 00:27
· 41 commits to master since this release

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