Skip to content

@draperlaboratory The Charles Stark Draper Laboratory, Inc.

Change the repository type filter

All

    Repositories list

    67 repositories

    • angr

      Public
      A powerful and user-friendly binary analysis platform!
      Python
      •
      BSD 2-Clause "Simplified" License
      •1.2k•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • cle

      Public
      CLE Loads Everything (at least, many binary formats!)
      Python
      •
      BSD 2-Clause "Simplified" License
      •131•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • cozy

      Public
      C++
      •
      MIT License
      •2•17•4•0•Updated Feb 10, 2026Feb 10, 2026

    • pdf2sqlite

      Public
      A tool to convert PDF libraries into SQLite databases for agentic search
      Python
      •
      MIT License
      •0•4•0•0•Updated Oct 23, 2025Oct 23, 2025

    • mocha-raphael

      Public
      Repo for the DARPA MOCHA program
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 23, 2025Sep 23, 2025

    • VmfExperimental

      Public
      C++
      •
      Other
      •2•3•0•1•Updated Sep 22, 2025Sep 22, 2025

    • 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 infrastru…
      testingsecurityfuzzing
      testingsecurityfuzzingfuzz-testingvmffuzzing-framework
      C++
      •
      GNU General Public License v2.0
      •7•39•0•0•Updated Aug 27, 2025Aug 27, 2025

    • hope-policy-engine

      Public
      Generic functional policy engine for functional simulation of security policies.
      C
      •
      Other
      •4•3•6•1•Updated Jan 16, 2025Jan 16, 2025

    • hope-llvm-project

      Public
      C++
      •0•1•2•5•Updated Jan 8, 2025Jan 8, 2025

    • ELFSage

      Public
      A toy ELF parser/validator
      Lean
      •
      MIT License
      •6•15•2•2•Updated Dec 18, 2024Dec 18, 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•4•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
      •50•1•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
      •102•0•0•0•Updated Oct 4, 2024Oct 4, 2024

    • Patcherex2

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

    • CozyGhidra

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

    • hope-policy-tool

      Public
      Policy language tools
      Haskell
      •
      Other
      •0•0•8•1•Updated Jan 23, 2024Jan 23, 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
      •127•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
      •65•0•0•0•Updated Aug 8, 2023Aug 8, 2023

    • hope-FreeRTOS

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

    • claripy

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

    • angr-management

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

    • ailment

      Public
      AIL: The angr Intermediate Language.
      Python
      •
      BSD 2-Clause "Simplified" License
      •17•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•106•70•8•Updated Apr 13, 2023Apr 13, 2023

    • VIBES

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