MarginResearch / cannoli
High-performance QEMU memory and instruction tracing
☆539Updated 9 months ago
Alternatives and similar repositories for cannoli
Users that are interested in cannoli are comparing it to the libraries listed below
Sorting:
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆302Updated this week
- Lightweight fuzzing of a memory snapshot using KVM☆452Updated last year
- The first analysis framework for CPU microcode☆393Updated 2 years ago
- A fuzzer for full VM kernel/driver targets☆705Updated last month
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated 10 months ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆613Updated 4 months ago
- The fastest Intel-PT decoder for fuzzing☆370Updated last year
- A powerful static binary rewriting tool☆1,011Updated last month
- symbolic execution plugin for binary ninja☆321Updated 2 weeks ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆710Updated 3 weeks ago
- Snapshot-based coverage-guided windows kernel fuzzer☆319Updated 3 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆437Updated last year
- Fully dockerized Linux kernel debugging environment☆749Updated 7 months ago
- ☆427Updated 5 months ago
- Why fuzzing with emulators is amazing☆137Updated 4 years ago
- ☆363Updated last year
- Binary Analysis Framework in Rust☆563Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆346Updated last week
- ☆405Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆558Updated this week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆472Updated 5 months ago
- A blazing fast™ multithreaded ROP Gadget finder. ropper / ropgadget alternative (currently x86 only)☆502Updated 7 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆564Updated last month
- A lightweight dynamic instrumentation library☆1,246Updated last month
- 📡🐧 Linux kernel syscall implementation tracker☆213Updated last month
- A fast and accurate disassembler☆702Updated 2 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 8 months ago
- A differential fuzzer for x86 decoders☆251Updated 6 months ago
- Intermediate Representation for Binary analysis and transformation☆334Updated last week
- ☆439Updated 7 months ago