Alternatives and similar repositories for FoxDec

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

• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• GrammaTech / retypd
  ☆70Updated last year
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆24Updated last year
• niconaus / pcode-interpreter
  ☆23Updated 2 years ago
• CodeIntelligenceTesting / dream
  The DREAM decompiler
  ☆42Updated 3 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 5 months ago
• softsec-unh / MBA-Solver
  ☆42Updated 4 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆112Updated 6 months ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆137Updated last year
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆20Updated last month
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 years ago
• Inception-framework / translator
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Updated 2 years ago
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆19Updated last year
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆35Updated 5 years ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• LLVMParty / REVIDE
  The next generation reverse engineering IDE (work-in-progress).
  ☆95Updated 11 months ago
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains
  ☆22Updated last year
• yellowbyte / zero-footprint-opaque-predicates
  obfuscation that aims to not stand out
  ☆23Updated 3 years ago
• jstaursky / hutch
  Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17
  ☆13Updated 3 years ago
• Colton1skees / Remill.NET
  .NET bindings for Remill
  ☆13Updated 11 months ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆41Updated last year
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆46Updated last week
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆152Updated last week
• jstaursky / coronium
  A disassembler
  ☆22Updated 3 years ago
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆32Updated 2 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week