MarginResearch / cannoli
High-performance QEMU memory and instruction tracing
☆527Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for cannoli
- Lightweight fuzzing of a memory snapshot using KVM☆442Updated 7 months ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆276Updated last week
- A fuzzer for full VM kernel/driver targets☆658Updated 2 months ago
- The fastest Intel-PT decoder for fuzzing☆360Updated 9 months ago
- A powerful static binary rewriting tool☆985Updated 3 months ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆585Updated 6 months ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆467Updated 4 months ago
- Binary Analysis Framework in Rust☆551Updated 10 months ago
- ☆430Updated last week
- The first analysis framework for CPU microcode☆373Updated last year
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆680Updated 6 months ago
- Fully dockerized Linux kernel debugging environment☆737Updated 2 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆332Updated 2 weeks ago
- ☆230Updated last year
- A blazing fast™ multithreaded ROP Gadget finder. ropper / ropgadget alternative☆475Updated last month
- Snapshot-based coverage-guided windows kernel fuzzer☆312Updated 2 years ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆450Updated 3 weeks ago
- ☆395Updated this week
- A lightweight dynamic instrumentation library☆1,182Updated 3 weeks ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆340Updated 2 months ago
- A fast and accurate disassembler☆663Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆537Updated 2 months ago
- Intermediate Representation for Binary analysis and transformation☆310Updated 2 months ago
- A differential fuzzer for x86 decoders☆234Updated last month
- LLEF is a plugin for LLDB to make it more useful for RE and VR☆337Updated 3 months ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆516Updated 3 years ago
- ☆425Updated last month
- easylkb - Easy Linux Kernel Builder☆331Updated 4 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆197Updated this week
- ☆256Updated last year