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
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆98Updated 2 months ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 2 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆22Updated last week
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆29Updated 2 years ago
• CodeIntelligenceTesting / dream
  The DREAM decompiler
  ☆40Updated 2 years ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• 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
• softsec-unh / MBA-Solver
  ☆40Updated 3 years ago
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆46Updated 4 years ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated last year
• jstaursky / hutch
  Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17
  ☆13Updated 3 years ago
• yellowbyte / zero-footprint-opaque-predicates
  obfuscation that aims to not stand out
  ☆23Updated 2 years ago
• jstaursky / coronium
  A disassembler
  ☆21Updated 2 years ago
• LukeSerne / DecompVis
  Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process
  ☆40Updated 3 weeks ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆75Updated this week
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 3 years ago
• Mizari / herast
  Framework to automate working with AST in IDA Pro
  ☆63Updated 9 months ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆22Updated 3 months ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• lifting-bits / fcd
  An optimizing decompiler (modified to use remill semantics)
  ☆30Updated 6 years ago
• sefcom / VarBERT
  ☆52Updated last month
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆12Updated last week
• binsync / varbert_api
  A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.
  ☆44Updated 4 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆42Updated last month