Alternatives and similar repositories for pcode-interpreter

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

• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains.
  ☆22Updated last year
• GrammaTech / retypd
  ☆72Updated last year
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• niconaus / PCode-Dump
  ☆19Updated 2 years ago
• subwire / libmatch
  ☆21Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆19Updated 6 months ago
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆159Updated this week
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 5 months ago
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆44Updated this week
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆37Updated 2 weeks ago
• BinTuner / Dev
  BinTuner
  ☆62Updated 3 years ago
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆45Updated last month
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆115Updated 11 months ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆21Updated 4 months ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆202Updated last week
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆53Updated 2 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆104Updated 2 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 10 months ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Updated 9 months ago
• trailofbits / binary_type_inference
  ☆19Updated last year
• CUMLSec / stateformer
  ☆61Updated 10 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 10 months ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆27Updated 2 years ago
• purseclab / D-helix
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
  ☆17Updated last year
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆49Updated 3 weeks ago
• kc0bfv / pcode-emulator
  A PCode Emulator for Ghidra.
  ☆110Updated 4 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago