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.
  ☆120Updated 3 months ago
• noobone123 / TypeForge
  TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
  ☆45Updated last month
• OSUSecLab / SymLM
  Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…
  ☆63Updated 7 months ago
• Yunlongs / Genius
  Full implementaion of Genius
  ☆33Updated 2 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆126Updated last year
• Cottontail-Proj / cottontail
  Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)
  ☆31Updated 2 months ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated 2 years ago
• sslab-gatech / krace
  Source code release for the KRace project
  ☆30Updated 4 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆124Updated 2 years ago
• rchtsang / ffxe
  ☆30Updated last year
• PeiweiHu / cinspector
  cinspector - a static C source code analysis framework
  ☆29Updated last year
• Hustcw / CEBin
  ☆57Updated 9 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…
  ☆128Updated 10 months ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• seclab-ucr / SyzDescribe
  ☆57Updated last year
• junxzm1990 / x86-sok
  ☆144Updated last year
• DaramG / CGSan
  ☆10Updated 3 years ago
• sgfvamll / gsat
  A toolkit for conducting multiple static binary analysis based on Ghidra.
  ☆24Updated 9 months 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
• PATA-FUZZ / PATA
  ☆34Updated 4 years ago
• Dongdongshe / K-Scheduler
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆120Updated 2 years ago
• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆46Updated 4 years ago
• CUMLSec / XDA
  ☆86Updated last year
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆65Updated 2 years ago
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆61Updated 4 years ago
• ZHYfeng / Dependency
  ☆24Updated 5 months ago
• cuhk-seclab / SelectFuzz
  ☆73Updated last year
• Asteria-BCSD / Asteria
  ☆63Updated 2 years ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆93Updated 4 years ago
• plummm / SyzScope
  SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
  ☆83Updated last year