umutoztunc / whitesymex
Symbolic execution engine for Whitespace.
☆13Updated 3 years ago
Alternatives and similar repositories for whitesymex:
Users that are interested in whitesymex are comparing it to the libraries listed below
- ☆16Updated 3 years ago
- attachment and write up for D^3CTF 2023's pwn challenge - d3kcache☆31Updated 7 months ago
- ☆13Updated 3 years ago
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- This tool can be useful for solving some reversing challenges in CTFs events.☆14Updated 3 years ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- linux kernel LPE using hw_breakpoint attack tech demo☆25Updated last year
- ☆38Updated last year
- ☆29Updated 9 months ago
- linux kernel cross page attack demo module☆30Updated last year
- Code snippets for Binary Ninja's Python API☆26Updated 3 years ago
- ☆16Updated last year
- ☆22Updated 3 years ago
- A tool combining DWARF info and source to search for kernel heap objects☆22Updated 11 months ago
- ☆45Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆33Updated last year
- Debug IDAPython in VSCode☆25Updated last year
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- This is an IDA plugin to recover class information from C++ binary.☆18Updated 4 years ago
- Target components for kAFL/Nyx Fuzzer☆27Updated this week
- some ida script☆30Updated 3 years ago
- Ghidra/IDA Pro plugins to load similarity result from binaryai.net☆82Updated last year
- IDA Hexrays To Joern☆34Updated 3 months ago
- CTF Write-ups☆29Updated 3 years ago
- Practical P-Code examples☆46Updated 4 years ago
- Merge multi binaries into one IDA database.☆24Updated 3 years ago
- a java decompiler demo☆14Updated 10 months ago
- An IDA processor for eBPF bytecode☆62Updated 3 months ago
- qemu vulnerablity.☆51Updated 3 years ago