draperlaboratory Goto Github PK

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.

brokengearinthe-watch

Broken Gear In The Watch

cage-koat

A private fork of the kittel/koat repository

cage-public

cbat_tools

Program analysis tools developed at Draper on the CBAT project.

claripy

An abstraction layer for constraint solvers.

cle

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

compass

Python REST interface for OrientDB

cozy

cozyghidra

Use cozy in Ghidra

cspgen

A tool for translating imperative programs to CSP.

cspretty

An AST and pretty printer for CSPm, as supported by FDR3.

design_rule_check

A design rule checker for microfluidic designs developed by Sembler

distill

Distill is an analytic framework for user activity logging

elfsage

A toy ELF parser/validator

fracture

an architecture-independent decompiler to LLVM IR

hope-applications

Example applications for testing the HOPE toolchain

hope-freedom-e-sdk

hope-freedom-u-sdk

hope-freertos

Free-RTOS from Amazon under MIT License

hope-freertos-plus-tcp

The BESSPIN fork of FreeRTOS-Plus-TCP.

hope-freertos-risc-v_galois_demo

BESSPIN RISC-V FreeRTOS Demo.

hope-hello_world

Example ISP project

hope-libns550

hope-llvm-project

hope-mibench2

MiBench ported for IoT devices