jakespringer/angr_ctf resource

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1123 stars · 176 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

A collection of capture-the-flag style challenges designed to teach binary analysis and symbolic execution with the angr framework. It includes a build system that compiles per-user challenge binaries for local play or MetaCTF web deployment.

Use cases

• learn angr symbolic execution from scratch
• practice reverse engineering ctf challenges
• find passwords in binaries with symbolic execution
• host an angr training for a ctf team
• prepare for binary exploitation ctf categories
• teach students automated binary analysis

When to choose

• you want hands-on, level-based practice with angr
• you are organizing a CTF or training session and need deployable challenge binaries
• you are a beginner learning symbolic execution on x86 binaries

When to avoid

• you need a production reverse-engineering tool rather than exercises
• you want challenges outside binary/symbolic-execution topics
• you need polished documentation - the README is still incomplete

Facets

learning-resource · maturity active

reverse-engineering security developer-tools security education reverse-engineering tutorials python cli ctf angr symbolic-execution binary-analysis capture-the-flag challenges linux

Member repositories

For agents

markdown · JSON · MCP: product_card(name="jakespringer/angr_ctf")