draperlaboratory/cbat_tools draperlaboratory/cbat_tools

  • Stars
    star
    102
  • Rank 335,584 (Top 7 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
draperlaboratory/cbat_tools
github

draperlaboratory

Reviews

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

Repository Details

Program analysis tools developed at Draper on the CBAT project.

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

VIBES

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

hope-RIPE

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

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
6

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
7

ELFSage

A toy ELF parser/validator
Lean
12
star
8

cspgen

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

cozy

C++
9
star
10

hope-src

HOPE Software Toolchain
Shell
5
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