Alternatives and similar repositories for Decompiler-SoK

Users that are interested in Decompiler-SoK are comparing it to the libraries listed below

• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆116Updated 2 months 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…
  ☆118Updated 8 months ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆124Updated 2 years ago
• Yunlongs / Genius
  Full implementaion of Genius
  ☆33Updated 2 years ago
• seclab-ucr / SyzDescribe
  ☆57Updated last year
• noobone123 / TypeForge
  TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
  ☆40Updated last month
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆126Updated last year
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated 2 years ago
• rchtsang / ffxe
  ☆29Updated last year
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• junxzm1990 / x86-sok
  ☆144Updated last year
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆57Updated 4 years ago
• DaramG / CGSan
  ☆10Updated 3 years ago
• CUMLSec / XDA
  ☆85Updated last year
• OSUSecLab / SymLM
  Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…
  ☆62Updated 5 months ago
• Dongdongshe / K-Scheduler
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆120Updated 2 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆47Updated 2 years ago
• Asteria-BCSD / Asteria
  ☆63Updated 2 years ago
• Hustcw / CEBin
  ☆56Updated 7 months ago
• SoftSec-KAIST / BinKit
  Binary Code Similarity Analysis (BCSA) Benchmark
  ☆169Updated 2 years ago
• sefcom / greenhouse
  ☆66Updated 2 years ago
• PeiweiHu / cinspector
  cinspector - a static C source code analysis framework
  ☆28Updated last year
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆64Updated 2 years ago
• PATA-FUZZ / PATA
  ☆34Updated 4 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
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆206Updated 4 years ago
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆24Updated last year
• sefcom / VarBERT
  ☆63Updated 3 months ago
• ZHYfeng / Dependency
  ☆24Updated 3 months ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆92Updated 3 years ago