Alternatives and similar repositories for FoxDec:

Users that are interested in FoxDec are comparing it to the libraries listed below

• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆22Updated last year
• GrammaTech / retypd
  ☆69Updated last year
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆76Updated this week
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆42Updated last month
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• jstaursky / hutch
  Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17
  ☆14Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆29Updated 2 years ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆32Updated last year
• astrelsky / vscode-ghidra-skeleton
  VSCode Ghidra Plugin/Script Skeletons
  ☆29Updated 4 years ago
• CodeIntelligenceTesting / dream
  The DREAM decompiler
  ☆40Updated 2 years ago
• niconaus / pcode-interpreter
  ☆21Updated 2 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆103Updated 2 months ago
• GrammaTech / gtirb-ddisasm-retypd
  ☆13Updated 2 years ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆12Updated this week
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆48Updated 10 months ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆126Updated last year
• softsec-unh / MBA-Solver
  ☆40Updated 3 years ago
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆22Updated 4 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆43Updated 3 weeks ago
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆35Updated 4 years ago
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆148Updated this week
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆22Updated last week
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• jstaursky / coronium
  A disassembler
  ☆21Updated 2 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• LukeSerne / DecompVis
  Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process
  ☆39Updated last month