draperlaboratory/ELFSage

Stars
12
Rank 1,597,372 (Top 32 %)
Language Lean
License
MIT License
Created 9 months ago
Updated about 2 months ago

draperlaboratory/ELFSage

draperlaboratory

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

A toy ELF parser/validator

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

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

parts

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