angr

angr

Organization data from Github https://github.com/angr

Next-generation binary analysis framework!

Home Page:https://angr.io

GitHub:@angr

angr's repositories

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:8296Issues:183Issues:2036

angr-management

The official angr GUI.

Language:PythonLicense:BSD-2-ClauseStargazers:1076Issues:28Issues:503

angr-doc

Documentation for the angr suite

Language:TeXLicense:BSD-2-ClauseStargazers:845Issues:40Issues:118
Language:PythonLicense:BSD-2-ClauseStargazers:727Issues:26Issues:48

rex

Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.

Language:PythonLicense:BSD-2-ClauseStargazers:651Issues:52Issues:50

cle

CLE Loads Everything (at least, many binary formats!)

Language:PythonLicense:BSD-2-ClauseStargazers:466Issues:24Issues:148

pyvex

Python bindings for Valgrind's VEX IR.

Language:PythonLicense:BSD-2-ClauseStargazers:367Issues:22Issues:145

claripy

An abstraction layer for constraint solvers.

Language:PythonLicense:BSD-2-ClauseStargazers:317Issues:22Issues:120

patcherex

Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.

Language:PythonLicense:BSD-2-ClauseStargazers:263Issues:24Issues:25

heaphopper

HeapHopper is a bounded model checking framework for Heap-implementations

Language:PythonLicense:BSD-2-ClauseStargazers:218Issues:12Issues:7

pypcode

Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR

Language:C++License:NOASSERTIONStargazers:204Issues:9Issues:43

phuzzer

The new phuzzing framework!

Language:PythonLicense:BSD-2-ClauseStargazers:161Issues:13Issues:5

angr-dev

Some helper scripts to set up an environment for angr development.

Language:ShellLicense:BSD-2-ClauseStargazers:118Issues:16Issues:57

vex

A patched version of VEX to work with PyVEX.

Language:CLicense:GPL-2.0Stargazers:112Issues:17Issues:20

archinfo

Classes with architecture-specific information useful to other projects.

Language:PythonLicense:BSD-2-ClauseStargazers:95Issues:19Issues:29

tracer

Utilities for generating dynamic traces

Language:PythonLicense:BSD-2-ClauseStargazers:93Issues:11Issues:34

archr

Target-centric program analysis.

Language:PythonLicense:BSD-2-ClauseStargazers:77Issues:16Issues:38

angr-platforms

A collection of extensions to angr to handle new platforms

Language:PythonLicense:BSD-2-ClauseStargazers:67Issues:13Issues:10

binaries

A repository with binaries for angr tests and examples.

Language:CLicense:NOASSERTIONStargazers:63Issues:16Issues:5

angr-examples

Example scripts using angr

Language:PythonLicense:BSD-2-ClauseStargazers:46Issues:8Issues:6

pysoot

Python bindings for Shimple/Jimple IR from Soot.

angr-targets

This repository contains the currently implemented angr concrete targets.

ailment

AIL: The angr Intermediate Language.

Language:PythonLicense:BSD-2-ClauseStargazers:32Issues:10Issues:9

pydemumble

A Python wrapper library for demumble; demumble is a tool to demangle C++, Rust, and Swift symbol names.

Language:CMakeLicense:BSD-2-ClauseStargazers:8Issues:9Issues:0

angr.io

angr.io website source

ci-settings

Docker image and azure templates for angr's CI

pyqodeng

Our fork of pyQode.core, used as part of angr management

Language:PythonLicense:MITStargazers:2Issues:1Issues:2

angr-docker-image

Configuration to automatically publish a docker image for angr

Language:DockerfileLicense:BSD-2-ClauseStargazers:0Issues:9Issues:0
Stargazers:0Issues:0Issues:0

qtconsole

Jupyter Qt Console

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0