kohnakagawa / PracticalPCode
Practical P-Code examples
☆46Updated 4 years ago
Alternatives and similar repositories for PracticalPCode:
Users that are interested in PracticalPCode are comparing it to the libraries listed below
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- Target components for kAFL/Nyx Fuzzer☆33Updated last year
- Ghidra Emulates Functions☆54Updated 4 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆103Updated 2 months ago
- Static Binary Instrumentation☆119Updated 3 years ago
- Run IDA scripts headlessly.☆135Updated 2 months ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated last year
- AFL bindings for Unicorn-Engine☆71Updated last month
- IDA Pro to Ghidra Key Bindings to feel like if you were in IDA Pro when navigating☆86Updated 5 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆78Updated 2 years ago
- ☆77Updated 4 months ago
- ☆24Updated 10 months ago
- Target components for kAFL/Nyx Fuzzer☆27Updated this week
- Write dynamic binary analysis tools in Python☆61Updated 3 weeks ago
- An IDA processor for eBPF bytecode☆48Updated 3 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆55Updated 2 years ago
- ☆80Updated 2 years ago
- Hex-Rays Block Highlighter plugin for IDA to highlight if/for/do/switch/while blocks☆60Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- A /proc/mem IDA loader to snapshot a running process☆161Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated 2 months ago
- A code-searching/completion tool, for IDA APIs☆81Updated 3 weeks ago
- nanoMIPS IDA plugin☆68Updated 3 years ago
- An IDA processor for eBPF bytecode☆62Updated 3 months ago
- ☆27Updated last year
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- harness for fuzzing with winafl. both public and my own which i have released.☆53Updated 3 years ago
- angr's exploration technique to perform taint analysis☆55Updated 4 years ago