Skip to content
@draperlaboratory

The Charles Stark Draper Laboratory, Inc.

Draper is a not-for-profit company that engineers multidisciplinary solutions to global challenges.

Popular repositories Loading

  1. fracture fracture Public

    an architecture-independent decompiler to LLVM IR

    C++ 386 47

  2. llvm-cbe llvm-cbe Public

    resurrected LLVM "C Backend", with improvements

    Groff 127 52

  3. cbat_tools cbat_tools Public

    Program analysis tools developed at Draper on the CBAT project.

    OCaml 102 14

  4. VIBES VIBES Public

    Verified, Incremental, Binary Editing with Synthesis

    OCaml 52 1

  5. hope-RIPE hope-RIPE Public

    A port of the RIPE suite to RISC-V.

    C 28 6

  6. VaderModularFuzzer VaderModularFuzzer Public

    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++ 26 3

Repositories

Showing 10 of 65 repositories
  • ELFSage Public

    A toy ELF parser/validator

    draperlaboratory/ELFSage’s past year of commit activity
    Lean 12 MIT 3 2 1 Updated Dec 13, 2024
  • cozy Public
    draperlaboratory/cozy’s past year of commit activity
    C++ 9 MIT 1 0 0 Updated Dec 6, 2024
  • hope-policies Public

    Collection of security policies

    draperlaboratory/hope-policies’s past year of commit activity
    C 3 2 14 4 Updated Dec 3, 2024
  • hope-src Public

    HOPE Software Toolchain

    draperlaboratory/hope-src’s past year of commit activity
    Shell 5 1 1 4 Updated Dec 2, 2024
  • hope-tools Public

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

    draperlaboratory/hope-tools’s past year of commit activity
    Python 3 2 5 6 Updated Nov 14, 2024
  • vex Public Forked from angr/vex

    A patched version of VEX to work with PyVEX.

    draperlaboratory/vex’s past year of commit activity
    C 0 GPL-2.0 48 0 0 Updated Oct 4, 2024
  • angr-dev Public Forked from angr/angr-dev

    Some helper scripts to set up an environment for angr development.

    draperlaboratory/angr-dev’s past year of commit activity
    Shell 0 BSD-2-Clause 99 0 0 Updated Oct 4, 2024
  • angr Public Forked from angr/angr

    A powerful and user-friendly binary analysis platform!

    draperlaboratory/angr’s past year of commit activity
    Python 0 BSD-2-Clause 1,110 0 0 Updated Oct 4, 2024
  • VaderModularFuzzer Public

    VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distributed fuzzing infrastructure.

    draperlaboratory/VaderModularFuzzer’s past year of commit activity
    C++ 26 GPL-2.0 3 0 1 Updated Sep 17, 2024
  • Patcherex2 Public Forked from purseclab/Patcherex2

    A versatile and easy-to-use static binary patching tool.

    draperlaboratory/Patcherex2’s past year of commit activity
    Python 0 BSD-2-Clause 6 0 0 Updated Jul 29, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…