angr Goto Github PK

acsac-course

ailment

AIL: The angr Intermediate Language.

angr

A powerful and user-friendly binary analysis platform!

angr-dev

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

angr-doc

Documentation for the angr suite

angr-docker-image

Configuration to automatically publish a docker image for angr

angr-examples

Example scripts using angr

angr-management

The official angr GUI.

angr-megatest

large-scale testing of cfg and decompiler

angr-platforms

A collection of extensions to angr to handle new platforms

angr-targets

This repository contains the currently implemented angr concrete targets.

angr-z3

The Z3 Theorem Prover - repository for staging python distributions

angr.github.io

angry website

angr.io

angr.io website source

angrop

arbiter

archinfo

Classes with architecture-specific information useful to other projects.

archr

Target-centric program analysis.

azure-runners

Docker stuff for self-hosted azure runners

binaries

A repository with binaries for angr tests and examples.

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)

ci-settings

Docker image and azure templates for angr's CI

claripy

An abstraction layer for constraint solvers.

cle

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

fidget

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

flirt_signatures

heaphopper

HeapHopper is a bounded model checking framework for Heap-implementations

identifier

[DEPRECATED] Using angr and prebuilt testcases to identify functions in statically-linked binaries.

libdft64

libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)

library_docs