draperlaboratory

cbat_tools

Program analysis tools developed at Draper on the CBAT project.

VIBES

Verified, Incremental, Binary Editing with Synthesis

VaderModularFuzzer

VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distributed fuzzing infrastructure.

cozy

hope-src

HOPE Software Toolchain

ELFSage

A toy ELF parser/validator

hope-policies

Collection of security policies

hope-tools

Scripts, makefiles and other top-level tools for working on HOPE stuff.

hope-FreeRTOS

Free-RTOS from Amazon under MIT License

hope-policy-engine

Generic functional policy engine for functional simulation of security policies.

VmfExperimental

CozyGhidra

Use cozy in Ghidra

hope-llvm-project

hope-freedom-e-sdk

hope-policy-tool

Policy language tools

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-management

The official angr GUI.

archinfo

Classes with architecture-specific information useful to other projects.

claripy

An abstraction layer for constraint solvers.

cle

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

hope-libns550

hope-qemu

hope-riscv-gnu-toolchain

A clone of https://github.com/riscv/riscv-gnu-toolchain with HOPE extensions.

hope-riscv-newlib

hope-riscv-openocd

Patcherex2

A versatile and easy-to-use static binary patching tool.

pyvex

Python bindings for Valgrind's VEX IR.

vex

A patched version of VEX to work with PyVEX.