The Charles Stark Draper Laboratory, Inc.

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

hope-FreeRTOS

Free-RTOS from Amazon under MIT License

hope-policies

Collection of security policies

hope-policy-engine

Generic functional policy engine for functional simulation of security policies.

hope-tools

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

VmfExperimental

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!)

CozyGhidra

Use cozy in Ghidra

hope-FreeRTOS-Plus-TCP

The BESSPIN fork of FreeRTOS-Plus-TCP.

hope-libns550

hope-llvm-project

hope-qemu

hope-riscv-gcc

hope-riscv-gnu-toolchain

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

hope-riscv-newlib

hope-riscv-openocd

pyvex

Python bindings for Valgrind's VEX IR.

vex

A patched version of VEX to work with PyVEX.