Alternatives and similar repositories for pcode-interpreter

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

• GrammaTech / retypd
  ☆74Updated 2 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 8 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆62Updated 5 years ago
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains.
  ☆23Updated last year
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated last year
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆172Updated last week
• niconaus / PCode-Dump
  ☆19Updated 3 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆146Updated 2 years ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆38Updated last week
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆117Updated last year
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆44Updated last week
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆206Updated this week
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated 2 weeks ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆22Updated 9 months ago
• lifting-bits / dds
  Dr. Disassembler
  ☆37Updated 4 years ago
• CodeIntelligenceTesting / dream
  The DREAM decompiler
  ☆48Updated 3 years ago
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆23Updated 7 months ago
• toolCHAINZ / jingle
  SMT Modeling and Configurable Program Analysis for Ghidra's PCODE
  ☆32Updated this week
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆33Updated 3 weeks ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆27Updated 2 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆49Updated 3 months ago
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆54Updated 4 months ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• JHUAPL / CodeCut
  A Ghidra plugin for locating object file boundaries.
  ☆127Updated 2 weeks ago
• androidoffsec / baremetal_kasan
  ☆64Updated last year
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago
• kc0bfv / pcode-emulator
  A PCode Emulator for Ghidra.
  ☆112Updated 5 years ago
• sefcom / VarBERT
  ☆64Updated last month