A powerful and user-friendly binary analysis platform!

Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!

Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems

The official angr GUI.

Discovering vulnerabilities in firmware through concolic analysis and function clustering.

Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.

Handy utilities for the angr binary analysis framework, most notably CFG visualization

Use angr in the IDA Pro debugger generating a state from the current debug session

Code and exercises for a workshop on z3 and angr

Use angr inside GDB. Create an angr state from the current debugger state.

angr tutorial for ctf

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

The SAILR paper's evaluation pipline for measuring the quality of decompilation

SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.

A tool for finding the one gadget RCE in libc

A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis

Abstract library to generate angr states from a debugger state

Repo for various angr ipython features to give it more of a cli feeling

Backwards program slice stitching for automatic CTF problem solving.

基于pwntools+angr的简单CTF AMD64 PWN AUTO FUZZ