Alternatives and similar repositories for trex

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

• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆124Updated 2 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆119Updated 2 months ago
• AFLplusplus / libafl_qemu_artifacts
  ☆27Updated last year
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆126Updated last year
• nyx-fuzz / spec-fuzzer
  ☆45Updated 3 years ago
• seclab-ucr / SyzGen_setup
  ☆46Updated 4 years ago
• fuzztruction / fuzztruction-net
  ☆48Updated 6 months ago
• OMH4ck / mufuzz
  ☆36Updated 2 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 3 years ago
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆106Updated last year
• Learner0x5a / DataFlowAnalysis-miasm
  Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
  ☆21Updated 3 years ago
• noobone123 / TypeForge
  TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
  ☆41Updated this week
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆95Updated 4 years ago
• HexHive / GLeeFuzz
  ☆45Updated 3 years ago
• lt-asset / resym
  For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…
  ☆126Updated 9 months ago
• AFLplusplus / unicornafl
  AFL bindings for Unicorn-Engine
  ☆87Updated 3 months ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆28Updated 3 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆75Updated 3 years ago
• FoRTE-Research / HeXcite
  High-Efficiency eXpanded Coverage for Improved Testing of Executables
  ☆25Updated 3 years ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆65Updated 3 years ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆30Updated last year
• RUB-SysSec / JIT-Picker
  ☆68Updated 3 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆70Updated 4 years ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69Updated last year
• rchtsang / ffxe
  ☆30Updated last year
• andreafioraldi / libafl_quickjs_fuzzing
  An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing
  ☆47Updated last year
• OctavioGalland / afllive
  ☆20Updated 10 months ago
• waugustus / CarpetFuzz-fuzzer
  CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.
  ☆15Updated last year
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆206Updated 4 years ago