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.
  ☆111Updated last month
• OSUSecLab / SymLM
  Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…
  ☆60Updated 2 months ago
• Hustcw / CEBin
  ☆50Updated 4 months ago
• noobone123 / TypeForge
  TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
  ☆35Updated 3 weeks ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆122Updated last year
• Yunlongs / Genius
  Full implementaion of Genius
  ☆32Updated 2 years ago
• rchtsang / ffxe
  ☆26Updated last year
• junxzm1990 / x86-sok
  ☆145Updated 11 months ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated last year
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆56Updated 4 years ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• PeiweiHu / cinspector
  cinspector - a static C source code analysis framework
  ☆27Updated last year
• 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
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆123Updated 2 years ago
• HexHive / Igor
  ☆72Updated 3 years ago
• kuc001 / EmTaint
  ☆40Updated 2 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆30Updated 4 years ago
• seclab-ucr / SyzDescribe
  ☆55Updated last year
• sgfvamll / gsat
  A toolkit for conducting multiple static binary analysis based on Ghidra.
  ☆22Updated 4 months ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69Updated last year
• CUMLSec / XDA
  ☆85Updated 10 months ago
• 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
• 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
• SoftSec-KAIST / BinKit
  Binary Code Similarity Analysis (BCSA) Benchmark
  ☆161Updated last year
• OSUSecLab / SymGen
  Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)
  ☆39Updated 3 months ago
• sslab-gatech / krace
  Source code release for the KRace project
  ☆29Updated 3 years ago
• ZHYfeng / Dependency
  ☆24Updated last month
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆90Updated 3 years ago
• PATA-FUZZ / PATA
  ☆34Updated 4 years ago
• Asteria-BCSD / Asteria
  ☆62Updated last year