Alternatives and similar repositories for FoxDec:

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

• GrammaTech / retypd
  ☆69Updated last year
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆22Updated last year
• CodeIntelligenceTesting / dream
  The DREAM decompiler
  ☆40Updated 2 years ago
• jstaursky / coronium
  A disassembler
  ☆21Updated 2 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 2 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆42Updated 2 months ago
• jstaursky / hutch
  Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17
  ☆14Updated 3 years ago
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆22Updated last month
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆151Updated this week
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆20Updated last month
• 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
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆107Updated 3 months ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆81Updated last month
• astrelsky / vscode-ghidra-skeleton
  VSCode Ghidra Plugin/Script Skeletons
  ☆29Updated 4 years ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆48Updated last year
• GrammaTech / gtirb-ddisasm-retypd
  ☆13Updated 2 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• niconaus / pcode-interpreter
  ☆21Updated 2 years ago
• Jakob-Koschel / llvm-passes
  How to use LLVM passes
  ☆30Updated 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 2 years ago
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆22Updated 5 months ago
• pgarba / Saturn_Results
  This repo contains the tests and results that were done during the research of SATURN
  ☆38Updated 4 years ago
• softsec-unh / MBA-Solver
  ☆40Updated 3 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆128Updated last year
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated 2 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆61Updated 3 years ago
• LLVMParty / REVIDE
  The next generation reverse engineering IDE (work-in-progress).
  ☆95Updated 8 months ago