Skip to content

@GaloisInc Galois, Inc.

Change the repository type filter

All

    Repositories list

    519 repositories

    • grease

      Public
      CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
      symbolic-executionbinary-analysisprogram-analysisghidra-pluginunder-constrained-symbolic-execution
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •5•104•61•1•Updated Apr 18, 2025Apr 18, 2025

    • VERSE-Toolchain

      Public
      Tools for testing and verifying the safety and correctness of C programs.
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •2•10•67•6•Updated Apr 17, 2025Apr 17, 2025

    • cn

      Public
      CN separation logic refinement type system for C
      OCaml
      •
      Other
      •13•0•0•0•Updated Apr 17, 2025Apr 17, 2025

    • mir-json

      Public
      Plugin for rustc to dump MIR in JSON format
      Rust
      •
      Apache License 2.0
      •3•9•20•10•Updated Apr 17, 2025Apr 17, 2025

    • flexdis86

      Public
      A library for disassembling x86-64 binaries.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •10•39•12•1•Updated Apr 17, 2025Apr 17, 2025

    • macaw

      Public
      Open source binary analysis tools.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •20•220•80•2•Updated Apr 17, 2025Apr 17, 2025

    • crucible

      Public
      Crucible is a library for symbolic simulation of imperative programs
      Haskell
      •43•712•188•2•Updated Apr 17, 2025Apr 17, 2025

    • softfloat-hs

      Public
      Haskell FFI bindings for SoftFloat.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•3•2•1•Updated Apr 17, 2025Apr 17, 2025

    • llvm-pretty

      Public
      An llvm pretty printer inspired by the haskell llvm binding
      Haskell
      •
      Other
      •16•29•25•3•Updated Apr 17, 2025Apr 17, 2025

    • parameterized-utils

      Public
      A set of utilities for using indexed types including containers, equality, and comparison.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •13•60•24•8•Updated Apr 17, 2025Apr 17, 2025

    • bv-sized

      Public
      A bitvector datatype that is parameterized by the vector width.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•6•0•2•Updated Apr 17, 2025Apr 17, 2025

    • dwarf

      Public
      Haskell library for parsing DWARF object format
      Haskell
      •
      Other
      •9•2•4•0•Updated Apr 17, 2025Apr 17, 2025

    • elf-edit

      Public
      The elf-edit library provides a datatype suitable for reading and writing Elf files.
      Haskell
      •
      Other
      •6•39•7•0•Updated Apr 17, 2025Apr 17, 2025

    • .github

      Public
      A collection of github actions and other tooling designed to reduce repetition and make adding pipelines easier.
      2•0•1•1•Updated Apr 17, 2025Apr 17, 2025

    • cryptol

      Public
      Cryptol: The Language of Cryptography
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •123•1.2k•238•13•Updated Apr 17, 2025Apr 17, 2025

    • cryptol-specs

      Public
      Specifications of cryptographic algorithms in Cryptol
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •8•40•47•3•Updated Apr 17, 2025Apr 17, 2025

    • copilot-1

      Public
      A stream-based runtime-verification framework for generating hard real-time C code.
      Haskell
      •63•2•0•0•Updated Apr 17, 2025Apr 17, 2025

    • sail

      Public
      Sail architecture definition language
      Isabelle
      •
      Other
      •126•1•0•0•Updated Apr 16, 2025Apr 16, 2025

    • jolt

      Public
      The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
      Rust
      •
      MIT License
      •222•0•0•0•Updated Apr 16, 2025Apr 16, 2025

    • saw-script

      Public
      The SAW scripting language.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •71•466•411•7•Updated Apr 12, 2025Apr 12, 2025

    • swanky

      Public
      A suite of rust libraries for secure multi-party computation
      Rust
      •
      MIT License
      •61•304•10•0•Updated Apr 11, 2025Apr 11, 2025

    • sail-riscv

      Public
      Sail RISC-V model
      C
      •
      Other
      •199•0•0•1•Updated Apr 11, 2025Apr 11, 2025

    • VERSE-OpenSUT

      Public
      Open System Under Test (SUT) for the VERSE demonstrator
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•28•2•Updated Apr 11, 2025Apr 11, 2025

    • what4-solvers

      Public
      Multi-platform binary creation for solvers of the versions most suitable for use with What4
      SMT
      •1•8•6•0•Updated Apr 10, 2025Apr 10, 2025

    • asl-translator

      Public
      Semantic interpretation the ARM Specification Language using symbolic execution
      ASL
      •
      BSD 3-Clause "New" or "Revised" License
      •0•5•15•0•Updated Apr 9, 2025Apr 9, 2025

    • pate

      Public
      Patches Assured up to Trace Equivalence
      armstatic-analysisverificationbinary-analysispowerpccompositional-verification
      Haskell
      •
      Other
      •3•16•25•6•Updated Apr 7, 2025Apr 7, 2025

    • what4

      Public
      Symbolic formula representation and solver interaction library
      Haskell
      •13•158•51•2•Updated Apr 2, 2025Apr 2, 2025

    • abcBridge

      Public
      Haskell bindings for ABC
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •5•5•6•0•Updated Apr 2, 2025Apr 2, 2025

    • ELFSage

      Public
      A toy ELF parser/validator
      Lean
      •
      MIT License
      •5•0•0•0•Updated Apr 2, 2025Apr 2, 2025

    • stubs

      Public
      Simple language for defining stub function semantics for binary analysis
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•15•0•Updated Apr 2, 2025Apr 2, 2025