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:
- ☆73Updated last year
- ☆19Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆165Updated this week
- A framework for finding completeness bugs in optimizing compiler toolchains.☆22Updated last year
- Scalable Validator for Binary Lifters☆60Updated 5 years ago
- AIL: The angr Intermediate Language.☆33Updated 6 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆116Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 11 months ago
- A versatile and easy-to-use static binary patching tool.☆45Updated 2 months ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Updated 2 years ago
- BinTuner☆63Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated last month
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆17Updated last year
- An approximate solver for concolic execution☆19Updated 7 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆204Updated last week
- ☆17Updated 6 years ago
- Pretty printer from GTIRB to assembly code☆49Updated last month
- ☆21Updated 2 years ago
- ☆20Updated last year
- ☆61Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated 10 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆145Updated 2 years ago
- ☆63Updated 3 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Updated 6 months ago
- The DREAM decompiler☆46Updated 3 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 5 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 11 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago