heki-linux / linux
Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity
☆12Updated last year
Alternatives and similar repositories for linux:
Users that are interested in linux are comparing it to the libraries listed below
- Linux kernel branches for confidential compute research☆17Updated 3 weeks ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated last month
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆27Updated 6 years ago
- Fork of KVM with Virtual Machine Introspection patches☆36Updated last year
- ☆13Updated 4 years ago
- Experiments involving the Windows Hypervisor Platform☆23Updated 4 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated last year
- Easy-to-use tool which autogenerates a type-aware fuzzer from a debuggable executable.☆22Updated 2 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆40Updated last year
- AIL: The angr Intermediate Language.☆32Updated last week
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆66Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…☆22Updated 5 years ago
- ☆36Updated last year
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆35Updated 3 years ago
- ☆18Updated 3 years ago
- ☆27Updated 3 years ago
- Automate generation of syzkaller's grammar☆15Updated 2 years ago
- KVM Virtual Machine Introspection Library☆46Updated last year
- Virtual machine introspection library based on libvmi - parts of this work have been funded by Deutsche Forschungsgemeinschaft (DFG) – pr…☆29Updated 3 years ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆80Updated 5 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆50Updated 8 years ago
- ☆16Updated last year
- ☆90Updated last year
- ☆70Updated 4 years ago
- ☆11Updated 4 years ago
- FunSeeker: Binary Function Identification Tool☆25Updated last year