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
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- ☆70Updated last year
- Ghidra Emulates Functions☆54Updated 4 years ago
- A versatile and easy-to-use static binary patching tool.☆37Updated last month
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated this week
- Retypd plugin for Ghidra reverse engineering framework from NSA☆24Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆112Updated 6 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 5 months ago
- Pretty printer from GTIRB to assembly code☆48Updated 2 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated this week
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- A Hybrid Alias Analysis☆19Updated last year
- An approximate solver for concolic execution☆18Updated last month
- A PCode Emulator for Ghidra.☆108Updated 4 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- ☆59Updated 5 months ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆42Updated 4 years ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆61Updated 4 years ago
- Flex 'em lexers☆40Updated 4 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last month
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆32Updated 5 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- ☆19Updated last year
- Formally verified x86-64 decompilation☆26Updated last week
- ☆16Updated 9 months ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago