lixuan2416 Goto Github PK

acsac-course

ailment

It's time for an angr intermediate language: AIL.

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

angr-bf

angr-dev

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

angr-doc

Documentation for the angr suite

angr-management

A GUI for angr. Being developed *very* slowly.

angr-z3

The Z3 Theorem Prover - repository for staging python distributions

angr.github.io

angry website

archinfo

Classes with architecture-specific information useful to other projects.

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)

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!

identifier

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

poc

pwn

To sum up how to pwn

pyvex

Python bindings for Valgrind's VEX IR.

simuvex

A symbolic execution engine for the VEX IR

taode

tracer

Concolic tracing helper for angr.

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)

vex

A patched version of VEX to work with PyVEX.

wheels

Wheels for speeding up builds and helping people out.