groundx / monocerusLinks
Monocerus emulator framework
☆11Updated 6 years ago
Alternatives and similar repositories for monocerus
Users that are interested in monocerus are comparing it to the libraries listed below
Sorting:
- Ditto.☆18Updated 5 years ago
- ARMv7 architecture plugin☆40Updated last year
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20Updated 7 years ago
- An AFL scaling benchmarking tool☆18Updated 5 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Updated 3 years ago
- ☆31Updated 5 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 7 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- Super simple Unicorn based CLI arm64 emulator☆11Updated 5 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38Updated 5 years ago
- This is the source of our Return Oriented Programming tool.☆14Updated 6 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 6 years ago
- ☆60Updated 6 years ago
- hacklu2014 x86_64 exploitation challenge using DWARF bytecode☆22Updated 11 years ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Updated 7 years ago
- Export a binary from ghidra to emulate with unicorn☆27Updated 6 years ago
- Dynamic Control Flow Recovery☆25Updated 7 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 13 years ago
- A hypervisor or virtual machine monitor (VMM) fuzzer☆28Updated 6 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆32Updated 7 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆49Updated 9 years ago
- A stateful fuzzing engine.☆45Updated 7 years ago
- ☆12Updated 8 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Updated 8 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Updated 5 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 8 years ago
- ☆35Updated 5 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 7 years ago