niconaus / pcode-interpreterLinks
☆25Updated 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:
- A framework for finding completeness bugs in optimizing compiler toolchains.☆22Updated last year
- ☆72Updated last year
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- ☆19Updated 2 years ago
- ☆21Updated last year
- An approximate solver for concolic execution☆19Updated 6 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated this week
- AIL: The angr Intermediate Language.☆33Updated 5 months ago
- Formally verified x86-64 decompilation☆44Updated this week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated 2 weeks ago
- BinTuner☆62Updated 3 years ago
- A versatile and easy-to-use static binary patching tool.☆45Updated last month
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆115Updated 11 months ago
- ☆17Updated 6 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 4 months ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆202Updated last week
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- Program analysis tools developed at Draper on the CBAT project.☆104Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 10 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated 9 months ago
- ☆19Updated last year
- ☆61Updated 10 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 10 months ago
- LLVM meets Code Property Graphs☆96Updated 4 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Updated 2 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆17Updated last year
- Pretty printer from GTIRB to assembly code☆49Updated 3 weeks ago
- A PCode Emulator for Ghidra.☆110Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago