google / silifuzz
☆392Updated this week
Related projects ⓘ
Alternatives and complementary repositories for silifuzz
- ☆257Updated last year
- ☆112Updated last year
- GWPSan: Sampling-Based Sanitizer Framework☆306Updated 2 weeks ago
- High-performance QEMU memory and instruction tracing☆524Updated 3 months ago
- The fastest Intel-PT decoder for fuzzing☆360Updated 9 months ago
- Understand and mitigate software-observable side-channels☆498Updated 3 years ago
- A fuzzer for full VM kernel/driver targets☆657Updated 2 months ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆277Updated last week
- A powerful static binary rewriting tool☆979Updated 3 months ago
- Website and PoC collection for transient execution attacks☆169Updated 8 months ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆466Updated 4 months ago
- libipt - an Intel(R) Processor Trace decoder library☆666Updated 2 weeks ago
- Kernel Test Framework☆140Updated last week
- ☆425Updated 2 months ago
- Source code of the paper "Lord of the Ring(s): Side Channel Attacks on the CPU On-Chip Ring Interconnect Are Practical"☆139Updated 3 years ago
- Explore a live Linux kernel's memory using GDB☆112Updated 2 years ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆448Updated last week
- Simple Intel CPU processor tracing on Linux☆343Updated last year
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆407Updated 6 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆342Updated 2 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆531Updated last month
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆67Updated last year
- ☆225Updated last year
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆114Updated this week
- Lightweight fuzzing of a memory snapshot using KVM☆440Updated 6 months ago
- The first analysis framework for CPU microcode☆372Updated last year
- AMD Research Instruction Based Sampling Toolkit☆79Updated 3 years ago
- SymCC: efficient compiler-based symbolic execution☆787Updated 3 months ago
- A lightweight dynamic instrumentation library☆1,177Updated last week
- Fully dockerized Linux kernel debugging environment☆737Updated last month