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
  ☆61Updated 5 years ago
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains.
  ☆22Updated last year
• GrammaTech / retypd
  ☆74Updated last year
• niconaus / PCode-Dump
  ☆19Updated 2 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 7 months ago
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆44Updated 3 weeks ago
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆169Updated this week
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆37Updated 2 months ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆117Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆21Updated 8 months ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆206Updated 2 weeks ago
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆23Updated 6 months ago
• BinTuner / Dev
  BinTuner
  ☆65Updated 3 years ago
• thebabush / reflex
  Flex 'em lexers
  ☆41Updated 5 years ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated last year
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆51Updated 3 months ago
• edmcman / ghidra-scala-loader
  An extension to load Ghidra scripts written in Scala
  ☆30Updated 3 weeks ago
• CodeIntelligenceTesting / dream
  The DREAM decompiler
  ☆46Updated 3 years ago
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆33Updated 7 months ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆31Updated 2 years ago
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59Updated 7 months ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated 5 months ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• subwire / libmatch
  ☆21Updated 2 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆145Updated 2 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Updated 2 years ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Updated 11 months ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago