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
• umutoztunc / whitesymex
  Symbolic execution engine for Whitespace.
  ☆14Updated 4 years ago
• sefcom / VarBERT
  ☆61Updated this week
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆122Updated 2 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆64Updated 4 years ago
• 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)
  ☆33Updated this week
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆98Updated last year
• NyaMisty / ida_kern
  Raw IDA Kernel API for IDAPython
  ☆34Updated 3 years ago
• Augment-Decompiler / Control-Flow-Structuring
  ☆13Updated 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.
  ☆109Updated 3 weeks ago
• fuzztruction / fuzztruction-net
  ☆42Updated 2 months ago
• P1umer / ALIEN
  ALIEN: idA Local varIables/inLine functIons rEcogNizer
  ☆18Updated 3 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆25Updated last year
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆122Updated last year
• HexHive / GLeeFuzz
  ☆41Updated 2 years ago
• 0rganizers / nmips
  nanoMIPS IDA plugin
  ☆67Updated 3 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆113Updated 9 months ago
• seclab-ucr / SyzGen_setup
  ☆48Updated 3 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.
  ☆20Updated 3 years ago
• DennyDai / headless-ida
  Run IDA scripts headlessly.
  ☆193Updated 2 weeks ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆56Updated 3 years ago
• RUB-SysSec / JIT-Picker
  ☆68Updated 2 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆127Updated 2 weeks ago
• OMH4ck / OnePunch
  ☆40Updated 3 weeks ago
• OMH4ck / mufuzz
  ☆36Updated last year
• alibaba-edu / Driver-Security-Analyzer
  Driver Security Analyzer
  ☆53Updated 4 years ago
• SoftSec-KAIST / NTFuzz
  NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
  ☆108Updated 3 years ago
• nyx-fuzz / spec-fuzzer
  ☆43Updated 3 years ago