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:
- ☆71Updated last year
- Scalable Validator for Binary Lifters☆56Updated 5 years ago
- AIL: The angr Intermediate Language.☆32Updated last month
- ☆19Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆156Updated this week
- ☆17Updated 6 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Flex 'em lexers☆40Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆34Updated this week
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆37Updated last month
- The DREAM decompiler☆43Updated 3 years ago
- Dr. Disassembler☆36Updated 3 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 7 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated last year
- LLVM meets Code Property Graphs☆92Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆28Updated 4 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆26Updated 4 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆123Updated 3 months ago
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 6 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆195Updated last week
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- Formally verified x86-64 decompilation☆40Updated this week
- An approximate solver for concolic execution☆17Updated 2 months ago
- Extracting high level semantic information from binary code☆65Updated 6 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- SMT Modeling for Ghidra's PCODE☆26Updated this week
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 6 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 5 months ago
- ☆60Updated last week