draperlaboratory/hope-src draperlaboratory/hope-src

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Shell
  • Created about 6 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
draperlaboratory/hope-src
github

draperlaboratory

Reviews

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

Repository Details

HOPE Software Toolchain

More Repositories

1

fracture

an architecture-independent decompiler to LLVM IR
C++
384
star
2

llvm-cbe

resurrected LLVM "C Backend", with improvements
Groff
126
star
3

cbat_tools

Program analysis tools developed at Draper on the CBAT project.
OCaml
102
star
4

VIBES

Verified, Incremental, Binary Editing with Synthesis
OCaml
49
star
5

hope-RIPE

A port of the RIPE suite to RISC-V.
C
28
star
6

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.
C++
24
star
7

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
JavaScript
13
star
8

ELFSage

A toy ELF parser/validator
Lean
12
star
9

cspgen

A tool for translating imperative programs to CSP.
Haskell
10
star
10

cozy

C++
9
star
11

Cage-Public

Java
4
star
12

cage-koat

A private fork of the kittel/koat repository
OCaml
4
star
13

hope-policies

Collection of security policies
C
3
star
14

parts

Coq
3
star
15

specgen

A tool for translating state charts to CSP
Haskell
3
star
16

hope-tools

Scripts, makefiles and other top-level tools for working on HOPE stuff.
Python
3
star
17

hope-policy-engine

Generic functional policy engine for functional simulation of security policies.
C
2
star
18

VmfExperimental

C++
2
star
19

hope-FreeRTOS

Free-RTOS from Amazon under MIT License
C
2
star
20

distill

Distill is an analytic framework for user activity logging
Python
1
star
21

useralejs

The Official UserAle JavaScript Client
JavaScript
1
star
22

design_rule_check

A design rule checker for microfluidic designs developed by Sembler
Python
1
star
23

hope-llvm-project

C++
1
star