niconaus / pcode-interpreterLinks
☆23Updated 2 years ago
Alternatives and similar repositories for pcode-interpreter
Users that are interested in pcode-interpreter are comparing it to the libraries listed below
Sorting:
- ☆19Updated 2 years ago
- AIL: The angr Intermediate Language.☆32Updated 3 weeks ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 5 months ago
- ☆71Updated last year
- Retypd plugin for Ghidra reverse engineering framework from NSA☆24Updated last year
- Formally verified x86-64 decompilation☆26Updated last month
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆155Updated last week
- Write a Ghidra Extension without using Java or Eclipse!☆18Updated 4 months ago
- An extension to load Ghidra scripts written in Scala☆30Updated last month
- BinRec: Dynamic Binary Lifting and Recompilation☆139Updated last year
- Ghidra Emulates Functions☆54Updated 4 years ago
- Convert low ghidra pcode to verifiable C☆22Updated 9 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated last year
- SMT Modeling for Ghidra's PCODE☆26Updated 2 weeks ago
- An approximate solver for concolic execution☆18Updated last month
- Dr. Disassembler☆36Updated 3 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Flex 'em lexers☆40Updated 4 years ago
- Pretty printer from GTIRB to assembly code☆48Updated 3 months ago
- Tutorial to write qemu plugins☆33Updated 8 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 2 weeks ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆34Updated 2 weeks ago
- ☆17Updated 6 years ago
- A Hybrid Alias Analysis☆19Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆112Updated 6 months ago