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.
  ☆113Updated 2 months ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆123Updated last year
• noobone123 / TypeForge
  TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
  ☆36Updated last month
• rchtsang / ffxe
  ☆26Updated last year
• junxzm1990 / x86-sok
  ☆146Updated 11 months ago
• OSUSecLab / SymLM
  Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…
  ☆62Updated 3 months ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆123Updated 2 years ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• Yunlongs / Genius
  Full implementaion of Genius
  ☆32Updated 2 years ago
• PeiweiHu / cinspector
  cinspector - a static C source code analysis framework
  ☆28Updated last year
• CUMLSec / XDA
  ☆86Updated 11 months ago
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆57Updated 4 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 6 months ago
• seclab-ucr / SyzDescribe
  ☆55Updated 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
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated 2 years ago
• Hustcw / CEBin
  ☆51Updated 5 months ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆90Updated 3 years ago
• Asteria-BCSD / Asteria
  ☆62Updated 2 years ago
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆205Updated 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…
  ☆65Updated 3 years ago
• HexHive / Igor
  ☆73Updated 3 years ago
• bitsecurerlab / aflplusplus-hier
  afl/afl++ with a hierarchical seed scheduler
  ☆56Updated 3 years ago
• SoftSec-KAIST / BinKit
  Binary Code Similarity Analysis (BCSA) Benchmark
  ☆164Updated last year
• sefcom / greenhouse
  ☆64Updated last year
• Dongdongshe / K-Scheduler
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆120Updated 2 years ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆70Updated last year
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Updated 3 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆44Updated 2 years ago
• pmp-tool / PMP
  PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning
  ☆10Updated 5 years ago