Alternatives and similar repositories for macaw

Users that are interested in macaw are comparing it to the libraries listed below

• GaloisInc / renovate

  View on GitHub
  A library for binary analysis and rewriting
  ☆49Sep 28, 2023Updated 2 years ago
• GaloisInc / crucible

  View on GitHub
  Crucible is a library for symbolic simulation of imperative programs
  ☆755Updated this week
• GaloisInc / elf-edit

  View on GitHub
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Aug 5, 2025Updated 6 months ago
• GaloisInc / reopt

  View on GitHub
  A tool for analyzing x86-64 binaries.
  ☆337Oct 18, 2024Updated last year
• GaloisInc / what4

  View on GitHub
  Symbolic formula representation and solver interaction library
  ☆174Updated this week
• GaloisInc / flexdis86

  View on GitHub
  A library for disassembling x86-64 binaries.
  ☆44Apr 24, 2025Updated 9 months ago
• draperlaboratory / cbat_tools

  View on GitHub
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Apr 13, 2023Updated 2 years ago
• GrammaTech / gtirb

  View on GitHub
  Intermediate Representation for Binary analysis and transformation
  ☆349Jan 14, 2026Updated last month
• regehr / llvm-dataflow-info

  View on GitHub
  print information from LLVM dataflow analyses
  ☆13Jan 22, 2020Updated 6 years ago
• GaloisInc / saw-script

  View on GitHub
  The Software Analysis Workbench
  ☆488Updated this week
• falconre / falcon

  View on GitHub
  Binary Analysis Framework in Rust
  ☆581Jan 22, 2024Updated 2 years ago
• GrammaTech / ddisasm

  View on GitHub
  A fast and accurate disassembler
  ☆739Jan 23, 2026Updated 3 weeks ago
• GaloisInc / semmc

  View on GitHub
  Stratified synthesis for learning machine code instruction semantics
  ☆40Sep 24, 2025Updated 4 months ago
• staticafi / symbiotic

  View on GitHub
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆335Feb 2, 2026Updated last week
• seahorn / clam

  View on GitHub
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆287Apr 21, 2024Updated last year
• eurecom-s3 / symcc

  View on GitHub
  SymCC: efficient compiler-based symbolic execution
  ☆856May 12, 2025Updated 9 months ago
• LeventErkok / sbv

  View on GitHub
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆265Feb 8, 2026Updated last week
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆524May 21, 2025Updated 8 months ago
• GaloisInc / grift

  View on GitHub
  Galois RISC-V ISA Formal Tools
  ☆62Aug 12, 2025Updated 6 months ago
• caps-tum / dbrew

  View on GitHub
  A library for dynamic binary rewriting
  ☆59Feb 10, 2021Updated 5 years ago
• SoftSec-KAIST / Eclipser

  View on GitHub
  Grey-box Concolic Testing on Binary Code (ICSE '19)
  ☆156Oct 4, 2021Updated 4 years ago
• seahorn / crab

  View on GitHub
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆250Oct 23, 2024Updated last year
• GaloisInc / parameterized-utils

  View on GitHub
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Feb 3, 2026Updated last week
• GaloisInc / cclyzerpp

  View on GitHub
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆149Jan 30, 2025Updated last year
• davidhildenbrand / drob

  View on GitHub
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆26Feb 19, 2020Updated 5 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• GaloisInc / saw-core

  View on GitHub
  The SAW core language.
  ☆55Jun 9, 2021Updated 4 years ago
• seahorn / seahorn

  View on GitHub
  SeaHorn Verification Framework
  ☆470May 27, 2025Updated 8 months ago
• seahorn / sea-dsa

  View on GitHub
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Dec 4, 2025Updated 2 months ago
• FuturesLab / Bin2Wrong

  View on GitHub
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59May 20, 2025Updated 8 months ago
• binsec / klee21-tina-artifact

  View on GitHub
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Jul 7, 2021Updated 4 years ago
• utds3lab / multiverse

  View on GitHub
  A static binary rewriter that does not use heuristics
  ☆308May 17, 2018Updated 7 years ago
• sdasgup3 / binary-decompilation

  View on GitHub
  Extracting high level semantic information from binary code
  ☆67Jun 13, 2019Updated 6 years ago
• GaloisInc / dismantle

  View on GitHub
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆26Aug 12, 2025Updated 6 months ago
• uxmal / nucleus

  View on GitHub
  Clone of "Compiler-Agnostic Function Detection in Binaries" source code
  ☆86Oct 29, 2021Updated 4 years ago
• lifting-bits / sleigh

  View on GitHub
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆172Jan 31, 2026Updated 2 weeks ago
• LL-MM / approxis-groundtruth

  View on GitHub
  ☆31Jul 21, 2020Updated 5 years ago
• trailofbits / polytracker

  View on GitHub
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆588Apr 8, 2025Updated 10 months ago
• Vector35 / generate_assembler

  View on GitHub
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38May 11, 2020Updated 5 years ago