draperlaboratory/parts

Stars
3
Rank 3,963,521 (Top 79 %)
Language Coq
License
Other
Created over 4 years ago
Updated over 4 years ago

draperlaboratory/parts

draperlaboratory

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

fracture

an architecture-independent decompiler to LLVM IR

llvm-cbe

resurrected LLVM "C Backend", with improvements

cbat_tools

Program analysis tools developed at Draper on the CBAT project.

VIBES

Verified, Incremental, Binary Editing with Synthesis

hope-RIPE

A port of the RIPE suite to RISC-V.

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.

user-ale

The User Activity Logging Engine, or User-ALE, is a logging mechanism used to quantitatively assess the behavioural and cognitive state of a data analyst while interacting with Big Data Exploitation Systems

ELFSage

A toy ELF parser/validator

cspgen

A tool for translating imperative programs to CSP.

cozy

hope-src

HOPE Software Toolchain

Cage-Public

cage-koat

A private fork of the kittel/koat repository

hope-policies

Collection of security policies

specgen

A tool for translating state charts to CSP

hope-tools

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

hope-policy-engine

Generic functional policy engine for functional simulation of security policies.

VmfExperimental

hope-FreeRTOS

Free-RTOS from Amazon under MIT License

distill

Distill is an analytic framework for user activity logging

useralejs

The Official UserAle JavaScript Client

design_rule_check

A design rule checker for microfluidic designs developed by Sembler

hope-llvm-project