heki-linux / linuxLinks
Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity
☆14Updated last year
Alternatives and similar repositories for linux
Users that are interested in linux are comparing it to the libraries listed below
Sorting:
- Tool to extract the kallsyms (System.map) from a memory dump☆28Updated last year
- Linux kernel branches for confidential compute research☆18Updated 3 months ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆167Updated 4 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- ☆92Updated last year
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated 3 months ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated 2 years ago
- ☆28Updated 6 years ago
- ☆17Updated last year
- AIL: The angr Intermediate Language.☆32Updated last month
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Fork of KVM with Virtual Machine Introspection patches☆37Updated last year
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆62Updated 3 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated last year
- ☆50Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 3 weeks ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- kAFL Fuzzer☆33Updated 4 months ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆59Updated 8 years ago
- LKRG bypass methods☆72Updated 5 years ago
- Explore a live Linux kernel's memory using GDB☆115Updated 2 years ago
- Intel ATR Training: Security of BIOS/UEFI System Firmware from Attacker and Defender Perspectives☆97Updated 8 years ago
- LibVMI Python bindings☆34Updated 7 months ago
- VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distri…☆30Updated 2 months ago
- ☆81Updated last month
- ☆12Updated 4 years ago