# illera88/Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

Repository: https://github.com/illera88/Ponce
Canonical: https://ross.abutalabs.com/products/ponce
Homepage: https://docs.idaponce.com
Language: C++
License: NOASSERTION
License Family: other
Topics: ida-plugin, symbolic-execution, ida, idapro
Last push: 2025-06-11T17:54:58+00:00

## Health v2 (maintenance only)
Score: 34/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 26, release rhythm 8, longevity 100
- inputs: {"age_days": 3714, "days_push": 448, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1627, forks 85 (observed 2026-08-28T04:05:13.221476+00:00)

## What it is
Ponce is an IDA Pro plugin that adds one-click symbolic execution and taint analysis over binaries, built on the Triton engine and written in C/C++. It integrates these capabilities directly into IDA's disassembler/debugger for x86 and x64 targets.

## Use cases
- run symbolic execution on a binary inside IDA Pro
- perform taint analysis to see which registers and memory I control
- develop exploits more efficiently by finding controllable inputs and ROP gadgets
- reverse engineer malware command parsers by symbolizing known commands
- recover protocol formats, magic numbers, and headers from controlled user input
- solve for inputs that reach a specific code path in a debugger

## When to choose
- you already use IDA Pro (>= 7.0) and want symbolic execution without leaving the tool
- you need taint analysis or input-solving during interactive reverse engineering
- you do exploit development, malware analysis, or protocol reversing on x86/x64 binaries

## When to avoid
- you need a standalone or scriptable symbolic execution engine rather than an IDA plugin (consider angr or Triton directly)
- you do not have an IDA Pro license
- you target architectures other than x86/x64

## Facets
- artifact type: plugin
- maturity: active
- function: reverse-engineering, security, developer-tools
- domain: security, reverse-engineering, developer-tools
- platform: windows, cross-platform
- tags: ida-pro, symbolic-execution, taint-analysis, binary-analysis, disassembler, exploit-development, malware-analysis, cpp, linux, macos

## Member repositories
- illera88/Ponce (main) score 34

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:05:13.221476+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T03:48:25.011351+00:00, confidence not recorded.
  - readme: https://github.com/illera88/Ponce (fetched 2026-08-28T04:05:13.221476+00:00, sha 66846ce540ce)
- Data as of 2026-08-30T08:39:29.467469+00:00.