Alternatives and similar repositories for uroboros

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

• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆161Updated 6 years ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Updated 3 months ago
• montyly / gueb
  ☆237Updated 7 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆313Updated 5 years ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆309Updated 7 years ago
• mothran / aflpin
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆172Updated 10 years ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆241Updated 6 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆80Updated 7 years ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 4 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆263Updated 6 months ago
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆81Updated 7 years ago
• pzread / unstrip
  ELF Unstrip Tool
  ☆107Updated 10 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆58Updated 5 years ago
• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆112Updated 2 months ago
• angr / pyvex
  Python bindings for Valgrind's VEX IR.
  ☆369Updated this week
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆139Updated 7 years ago
• moflow / moflow
  ☆124Updated 4 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆127Updated 3 years ago
• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆262Updated 3 months ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Updated 8 years ago
• HexHive / T-Fuzz
  ☆253Updated 5 years ago
• nezha-dt / nezha
  Differential fuzzing for the masses!
  ☆153Updated 8 years ago
• nccgroup / TriforceLinuxSyscallFuzzer
  A linux system call fuzzer using TriforceAFL
  ☆177Updated last year
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆188Updated 4 years ago
• pakt / ropc
  A Turing complete ROP compiler
  ☆327Updated 12 years ago
• dennisaa / patharmor
  PathArmor context-sensitive CFI implementation
  ☆45Updated 10 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆203Updated 8 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆64Updated 3 years ago
• floyd-fuh / afl-crash-analyzer
  Another crash analyzer tool for the American Fuzzy Lop (AFL) fuzzer
  ☆120Updated 8 years ago
• GrammaTech / gtirb
  Intermediate Representation for Binary analysis and transformation
  ☆345Updated 2 weeks ago