Alternatives and similar repositories for gtirb-rewriting

Users that are interested in gtirb-rewriting are comparing it to the libraries listed below

• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated 2 months ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• mrphrazer / kadabra
  A blanked execution framework based on the Unicorn engine
  ☆19Updated 8 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆66Updated 3 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆121Updated 9 months ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• pangine / disasm-benchmark
  Pangine disassembly ground truth benchmark
  ☆11Updated 4 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆92Updated 2 months ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 5 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆29Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• angr / archr
  Target-centric program analysis.
  ☆75Updated last week
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆37Updated 5 years ago
• gadiluna / in_nomine_function
  Models and code for the paper: In Nomine Function: Naming Functions in Stripped Binaries with Neural Networks
  ☆18Updated 4 years ago
• softsec-unh / MBA-Solver
  ☆42Updated 4 years ago
• CMUSTRUDEL / DIRE
  ☆63Updated this week
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆96Updated 5 months ago
• GrammaTech / retypd
  ☆70Updated last year
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Updated 2 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago