awesome-angr
github.com/degrigis/awesome-angr ↗A collection of resources/tools and analyses for the angr binary analysis framework.
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me blogposts :newspaper: resources from awesome-angr"
Installation instructions →What's inside
Blogposts :newspaper:
- angr-blog
Official angr blog.
- angr-tutorial
Introduction to angr - baby steps in symbolic execution.
- A reaching definition engine for binary analysis built-in in angr.
A walk-through of the ReachingDefinition analysis built-in in angr.
- bcheck
Binary check tool to identify command injection and format string vulnerabilities in blackbox binaries.
- shellphish-phrack
Phrack article on
Projects :rocket:
- angr-cli
Command line interface for angr a la peda/GEF/pwndbg.
- Angr-management
GUI for angr.
- Angrop
Generate ropchains using angr and symbolic execution.
- angr-static-analysis-for-vuzzer64
angr-based static analysis module for Vuzzer.
- Arbiter
Arbiter is a combination of static and dynamic analyses, built on top of angr, that can be used to detect some vulnerability classes.
- BootStomp
A bootloader vulnerability finder.
Documentation :book:
- angr.io
Official angr API documentation.
- docs.angr.op
Official angr general documentatoin website.
- Intro to Binary Analysis with Z3 and angr
FSecureLABS workshop on using Z3 and the angr framework.
Showing a sample of 22 resources. View the full list on GitHub →