Alternatives and similar repositories for patchestry

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

• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆49Updated 2 months ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 7 months ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆34Updated last week
• lifting-bits / dds
  Dr. Disassembler
  ☆36Updated 3 years ago
• trailofbits / magnifier
  ☆58Updated 2 years ago
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆25Updated 2 years ago
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆35Updated 3 years ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• triskellib / triskel
  A graphing library for Control Flow Graphs
  ☆57Updated last month
• Vector35 / tanto
  Tantō slices functions into more consumable chunks
  ☆68Updated 3 months ago
• GrammaTech / gtirb-ddisasm-retypd
  ☆13Updated 3 years ago
• Vector35 / warp
  Common format for transferring and applying function information across binary analysis tools
  ☆43Updated last month
• black-binary / sleigh
  A (SLEIGH) disassembler that supports multiple architectures
  ☆84Updated 3 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated 2 months ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆21Updated 3 months ago
• Vector35 / idb-rs
  IDB parser
  ☆18Updated last week
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆23Updated 9 months ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆43Updated last year
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆27Updated this week
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆85Updated 2 years ago
• psifertex / breaking_decompilers
  breaking decompilers
  ☆50Updated 2 months ago
• LLVMParty / REVIDE
  The next generation reverse engineering IDE (work-in-progress).
  ☆95Updated last year
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Updated 2 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆50Updated 2 months ago
• gamozolabs / lemonade
  A debugger for Linux in Rust
  ☆76Updated 2 years ago
• trailofbits / binary_type_inference
  ☆19Updated 10 months ago
• hgarrereyn / STRIDE
  simple type recognition in decompiled executables
  ☆112Updated last year
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆32Updated last month