Alternatives and similar repositories for trex

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

• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆26Updated last year
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆123Updated last year
• c3r34lk1ll3r / Instruction_Slicer
  Binary Ninja plugin for forward/backward slicing
  ☆18Updated 4 years ago
• noobone123 / TypeForge
  TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
  ☆36Updated last month
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆123Updated 2 years ago
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆101Updated last year
• OMH4ck / mufuzz
  ☆36Updated last year
• seclab-ucr / SyzGen_setup
  ☆46Updated 3 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• Augment-Decompiler / Control-Flow-Structuring
  ☆13Updated 3 years ago
• nyx-fuzz / spec-fuzzer
  ☆43Updated 3 years ago
• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆111Updated last month
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆93Updated 3 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆74Updated 3 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• ispras / rop-benchmark
  ROP Benchmark is a tool to compare ROP compilers
  ☆43Updated 2 years ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆57Updated 3 years ago
• sefcom / VarBERT
  ☆62Updated last month
• umutoztunc / whitesymex
  Symbolic execution engine for Whitespace.
  ☆14Updated 4 years ago
• thebabush / afl-libprotobuf-mutator
  AFLplusplus + libprotobuf-mutator = love
  ☆83Updated 5 years ago
• Learner0x5a / DataFlowAnalysis-miasm
  Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
  ☆21Updated 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…
  ☆64Updated 3 years ago
• alibaba-edu / Driver-Security-Analyzer
  Driver Security Analyzer
  ☆53Updated 4 years ago
• NyaMisty / ida_kern
  Raw IDA Kernel API for IDAPython
  ☆34Updated 3 years ago
• occia / apicraft
  Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".
  ☆66Updated 3 years ago
• bingseclab / VirtAnalyzer
  Virtual Inheritance Reverse Engineering
  ☆17Updated 5 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…
  ☆110Updated 5 months ago
• fuzztruction / fuzztruction-net
  ☆43Updated 3 months ago
• seclab-ucr / KOOBE
  Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
  ☆90Updated last year