Skip to content

@draperlaboratory The Charles Stark Draper Laboratory, Inc.

Change the repository type filter

All

    Repositories list

    65 repositories

    • ELFSage

      Public
      A toy ELF parser/validator
      Lean
      •
      MIT License
      •3•12•2•1•Updated Dec 13, 2024Dec 13, 2024

    • cozy

      Public
      C++
      •
      MIT License
      •1•9•0•0•Updated Dec 6, 2024Dec 6, 2024

    • hope-policies

      Public
      Collection of security policies
      C
      •2•3•14•4•Updated Dec 3, 2024Dec 3, 2024

    • hope-src

      Public
      HOPE Software Toolchain
      Shell
      •1•5•1•4•Updated Dec 2, 2024Dec 2, 2024

    • hope-tools

      Public
      Scripts, makefiles and other top-level tools for working on HOPE stuff.
      Python
      •
      Other
      •2•3•5•6•Updated Nov 14, 2024Nov 14, 2024

    • vex

      Public
      A patched version of VEX to work with PyVEX.
      C
      •
      GNU General Public License v2.0
      •47•0•0•0•Updated Oct 4, 2024Oct 4, 2024

    • angr-dev

      Public
      Some helper scripts to set up an environment for angr development.
      Shell
      •
      BSD 2-Clause "Simplified" License
      •96•0•0•0•Updated Oct 4, 2024Oct 4, 2024

    • angr

      Public
      A powerful and user-friendly binary analysis platform!
      Python
      •
      BSD 2-Clause "Simplified" License
      •1.1k•0•0•0•Updated Oct 4, 2024Oct 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.
      testingsecurityfuzzingfuzz-testingvmffuzzing-framework
      C++
      •
      GNU General Public License v2.0
      •3•26•0•1•Updated Sep 17, 2024Sep 17, 2024

    • Patcherex2

      Public
      A versatile and easy-to-use static binary patching tool.
      Python
      •
      BSD 2-Clause "Simplified" License
      •6•0•0•0•Updated Jul 29, 2024Jul 29, 2024

    • CozyGhidra

      Public
      Use cozy in Ghidra
      Java
      •
      MIT License
      •48•3•1•0•Updated Feb 21, 2024Feb 21, 2024

    • hope-policy-engine

      Public
      Generic functional policy engine for functional simulation of security policies.
      C
      •
      Other
      •4•2•6•1•Updated Jan 29, 2024Jan 29, 2024

    • hope-llvm-project

      Public
      C++
      •0•1•2•5•Updated Jan 29, 2024Jan 29, 2024

    • hope-policy-tool

      Public
      Policy language tools
      Haskell
      •
      Other
      •0•0•8•1•Updated Jan 23, 2024Jan 23, 2024

    • VmfExperimental

      Public
      C++
      •
      Other
      •2•2•0•0•Updated Jan 9, 2024Jan 9, 2024

    • hope-freedom-e-sdk

      Public
      C
      •
      Other
      •1•0•0•6•Updated Nov 29, 2023Nov 29, 2023

    • pyvex

      Public
      Python bindings for Valgrind's VEX IR.
      Python
      •
      BSD 2-Clause "Simplified" License
      •117•0•0•0•Updated Sep 18, 2023Sep 18, 2023

    • archinfo

      Public
      Classes with architecture-specific information useful to other projects.
      Python
      •
      BSD 2-Clause "Simplified" License
      •58•0•0•0•Updated Aug 8, 2023Aug 8, 2023

    • hope-FreeRTOS

      Public
      Free-RTOS from Amazon under MIT License
      C
      •0•2•0•2•Updated Jul 30, 2023Jul 30, 2023

    • cle

      Public
      CLE Loads Everything (at least, many binary formats!)
      Python
      •
      BSD 2-Clause "Simplified" License
      •115•0•0•0•Updated Jul 25, 2023Jul 25, 2023

    • claripy

      Public
      An abstraction layer for constraint solvers.
      Python
      •
      BSD 2-Clause "Simplified" License
      •96•0•0•0•Updated Jul 25, 2023Jul 25, 2023

    • angr-management

      Public
      The official angr GUI.
      Python
      •
      BSD 2-Clause "Simplified" License
      •113•0•0•0•Updated Jul 25, 2023Jul 25, 2023

    • ailment

      Public
      AIL: The angr Intermediate Language.
      Python
      •
      BSD 2-Clause "Simplified" License
      •18•0•0•0•Updated Jul 25, 2023Jul 25, 2023

    • hope-libns550

      Public
      C
      •0•0•0•0•Updated May 9, 2023May 9, 2023

    • hope-qemu

      Public
      C
      •
      Other
      •0•0•2•0•Updated Apr 27, 2023Apr 27, 2023

    • hope-riscv-openocd

      Public
      0•0•0•0•Updated Apr 27, 2023Apr 27, 2023

    • cbat_tools

      Public
      Program analysis tools developed at Draper on the CBAT project.
      OCaml
      •
      MIT License
      •14•102•70•8•Updated Apr 13, 2023Apr 13, 2023

    • VIBES

      Public
      Verified, Incremental, Binary Editing with Synthesis
      OCaml
      •
      MIT License
      •1•52•48•1•Updated Mar 7, 2023Mar 7, 2023

    • hope-riscv-newlib

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•2•Updated Feb 14, 2023Feb 14, 2023

    • hope-riscv-gnu-toolchain

      Public
      A clone of https://github.com/riscv/riscv-gnu-toolchain with HOPE extensions.
      C
      •
      Other
      •0•0•0•1•Updated Mar 3, 2022Mar 3, 2022