Giters
angr

angr

Geek Repo

Next-generation binary analysis framework!

Home Page:https://angr.io

Github PK Tool:Github PK Tool

angr's repositories

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:7281Issues:184Issues:1877

angr-doc

Documentation for the angr suite

Language:TeXLicense:BSD-2-ClauseStargazers:836Issues:46Issues:118

angr-management

The official angr GUI.

Language:PythonLicense:BSD-2-ClauseStargazers:829Issues:31Issues:454

rex

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

Language:PythonLicense:BSD-2-ClauseStargazers:627Issues:55Issues:50

angrop

Language:PythonLicense:BSD-2-ClauseStargazers:559Issues:26Issues:42

cle

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

Language:PythonLicense:BSD-2-ClauseStargazers:387Issues:30Issues:139

pyvex

Python bindings for Valgrind's VEX IR.

Language:PythonLicense:BSD-2-ClauseStargazers:324Issues:29Issues:137

claripy

An abstraction layer for constraint solvers.

Language:PythonLicense:BSD-2-ClauseStargazers:265Issues:24Issues:105

patcherex

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

Language:PythonLicense:BSD-2-ClauseStargazers:245Issues:29Issues:23

heaphopper

HeapHopper is a bounded model checking framework for Heap-implementations

Language:PythonLicense:BSD-2-ClauseStargazers:210Issues:13Issues:7

pypcode

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

Language:C++License:NOASSERTIONStargazers:170Issues:9Issues:38

phuzzer

The new phuzzing framework!

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

angr-dev

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

Language:ShellLicense:BSD-2-ClauseStargazers:109Issues:17Issues:54

vex

A patched version of VEX to work with PyVEX.

Language:CLicense:GPL-2.0Stargazers:102Issues:19Issues:16

tracer

Utilities for generating dynamic traces

Language:PythonLicense:BSD-2-ClauseStargazers:86Issues:14Issues:34

archinfo

Classes with architecture-specific information useful to other projects.

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

archr

Target-centric program analysis.

Language:PythonLicense:BSD-2-ClauseStargazers:71Issues:17Issues:38

angr-platforms

A collection of extensions to angr to handle new platforms

Language:PythonLicense:BSD-2-ClauseStargazers:64Issues:14Issues:10

binaries

A repository with binaries for angr tests and examples.

Language:CLicense:NOASSERTIONStargazers:55Issues:16Issues:4

fidget

A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!

Language:PythonLicense:BSD-2-ClauseStargazers:46Issues:12Issues:0

pysoot

Python bindings for Shimple/Jimple IR from Soot.

Language:PythonStargazers:40Issues:8Issues:12

angr-targets

This repository contains the currently implemented angr concrete targets.

Language:PythonStargazers:32Issues:10Issues:18

ailment

AIL: The angr Intermediate Language.

Language:PythonLicense:BSD-2-ClauseStargazers:26Issues:11Issues:8

angr-examples

Example scripts using angr

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

angr.io

angr.io website source

Language:HTMLStargazers:3Issues:7Issues:17

ci-settings

Docker image and azure templates for angr's CI

Language:PythonStargazers:2Issues:14Issues:20

pyqodeng

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

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

arbiter

Language:PythonStargazers:1Issues:1Issues:0

angr-docker-image

Configuration to automatically publish a docker image for angr

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

qtconsole

Jupyter Qt Console

License:BSD-3-ClauseStargazers:0Issues:0Issues:0