Alternatives and similar repositories for pcode-interpreter

Users that are interested in pcode-interpreter are comparing it to the libraries listed below

• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆60Updated 5 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 5 months ago
• GrammaTech / retypd
  ☆73Updated last year
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆164Updated this week
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆37Updated 2 weeks ago
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains.
  ☆22Updated last year
• niconaus / PCode-Dump
  ☆19Updated 2 years ago
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆44Updated this week
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 10 months ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆204Updated this week
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆19Updated 6 months ago
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆27Updated 2 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆115Updated 11 months ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆143Updated 2 years ago
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆31Updated last week
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆45Updated 2 months ago
• purseclab / D-helix
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
  ☆17Updated last year
• BinTuner / Dev
  BinTuner
  ☆63Updated 3 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆49Updated 2 weeks ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 11 months ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆21Updated 5 months ago
• androidoffsec / baremetal_kasan
  ☆61Updated last year
• trailofbits / BTIGhidra
  Binary Type Inference Ghidra Plugin
  ☆166Updated last year
• subwire / libmatch
  ☆21Updated last year
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆131Updated 3 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆52Updated 5 months ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆68Updated 7 years ago
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆58Updated 6 months ago