MarginResearch / cannoli
High-performance QEMU memory and instruction tracing
☆542Updated 8 months ago
Alternatives and similar repositories for cannoli:
Users that are interested in cannoli are comparing it to the libraries listed below
- Lightweight fuzzing of a memory snapshot using KVM☆450Updated 11 months ago
- A powerful static binary rewriting tool☆1,015Updated 2 months ago
- The fastest Intel-PT decoder for fuzzing☆368Updated last year
- A fuzzer for full VM kernel/driver targets☆683Updated 3 weeks ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆603Updated 3 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆704Updated 10 months ago
- symbolic execution plugin for binary ninja☆314Updated last year
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆472Updated 8 months ago
- The first analysis framework for CPU microcode☆389Updated 2 years ago
- Rellic produces goto-free C output from LLVM bitcode☆554Updated 7 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆556Updated last week
- Snapshot-based coverage-guided windows kernel fuzzer☆317Updated 3 years ago
- Fully dockerized Linux kernel debugging environment☆747Updated 6 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆460Updated 3 months ago
- Binary Analysis Framework in Rust☆558Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 7 months ago
- A lightweight dynamic instrumentation library☆1,221Updated last week
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆297Updated this week
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆522Updated 4 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆436Updated 11 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆342Updated 4 months ago
- ☆426Updated 3 months ago
- A fast and accurate disassembler☆691Updated last month
- Pure Rust x86_64 bootloader and kernel☆497Updated last year
- ☆253Updated last year
- Intermediate Representation for Binary analysis and transformation☆326Updated 3 weeks ago
- Symbolic execution of LLVM IR with an engine written in Rust☆548Updated last year
- SymCC: efficient compiler-based symbolic execution☆800Updated 3 weeks ago
- 📡🐧 Linux kernel syscall implementation tracker☆209Updated last week
- Why fuzzing with emulators is amazing☆135Updated 4 years ago