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:
- Intel Kernel Guard Technology Core Repo☆55Updated last year
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- Tool to extract the kallsyms (System.map) from a memory dump☆27Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated 3 months ago
- ☆90Updated last year
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆33Updated 2 years ago
- Fork of KVM with Virtual Machine Introspection patches☆36Updated last year
- ☆27Updated 6 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- uber eXtensible Micro-Hypervisor Framework☆31Updated last year
- ☆13Updated 4 years ago
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆17Updated 8 months ago
- tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.☆12Updated 4 years ago
- Helper script for Linux kernel disassemble or debugging with IDA Pro on VMware + GDB stub (including some symbols helpers)☆37Updated last year
- The Hedron Microhypervisor☆78Updated last year
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated 2 years ago
- ☆17Updated last year
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Updated 2 months ago
- Python bindings for BochsCPU☆36Updated 2 weeks ago
- ☆19Updated 9 months ago
- ☆38Updated last year
- ☆27Updated 3 years ago
- AMD SVM hypervisor rootkit proof of concept☆46Updated last year
- Automate generation of syzkaller's grammar☆16Updated 2 years ago
- Linux kernel source tree with changes to support LVBS with Hyper-V☆20Updated 9 months ago
- ☆62Updated 3 months ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆82Updated 2 years ago