draperlaboratory/hope-tools draperlaboratory/hope-tools

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Python
  • License
    Other
  • Created almost 7 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
draperlaboratory/hope-tools
github

draperlaboratory

Reviews

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

Repository Details

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

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

hope-src

HOPE Software Toolchain
Shell
5
star
12

Cage-Public

Java
4
star
13

cage-koat

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

hope-policies

Collection of security policies
C
3
star
15

parts

Coq
3
star
16

specgen

A tool for translating state charts to CSP
Haskell
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