kohnakagawa / PracticalPCodeLinks
Practical P-Code examples
☆65Updated 4 years ago
Alternatives and similar repositories for PracticalPCode
Users that are interested in PracticalPCode are comparing it to the libraries listed below
Sorting:
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆81Updated 3 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆117Updated last year
- Xyntia, the black-box deobfuscator☆84Updated last month
- A /proc/mem IDA loader to snapshot a running process☆167Updated 6 months ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆81Updated last month
- ☆85Updated 3 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆123Updated this week
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- Write dynamic binary analysis tools in Python☆128Updated 5 months ago
- PoC of fuzzing closed-source userspace binaries with KVM☆166Updated last year
- AFL bindings for Unicorn-Engine☆87Updated 3 months ago
- Ghidra Emulates Functions☆57Updated 5 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated 3 weeks ago
- Target components for kAFL/Nyx Fuzzer☆34Updated 5 months ago
- A Ghidra headless analyzer tailored for Qt binary analysis☆75Updated last year
- Run IDA scripts headlessly.☆222Updated 4 months ago
- "Pwntools does not support Windows. Use a real OS ;)" — Zach Riggle, 2015☆91Updated 6 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Simple script to find kernel objects of a certain size in the Linux kernel☆112Updated 3 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆67Updated 7 months ago
- binary ninja related code☆37Updated 9 months ago
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆89Updated this week
- Old and new CTFs about Linux kernel exploitation.☆63Updated 3 years ago
- A collection of my weggli patterns to facilitate vulnerability research.☆154Updated 2 weeks ago
- An IDA processor for eBPF bytecode☆52Updated 4 years ago
- nanoMIPS IDA plugin☆69Updated 4 years ago
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆100Updated 3 years ago
- Code snippets for Binary Ninja's Python API☆30Updated 4 years ago
- Code execution via corrupting mmap malloc chunks with ASLR bypass☆50Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆35Updated 2 years ago