heki-linux / linux
Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity
☆10Updated last year
Alternatives and similar repositories for linux:
Users that are interested in linux are comparing it to the libraries listed below
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆39Updated last year
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- Linux kernel branches for confidential compute research☆17Updated last week
- ☆90Updated 10 months ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆80Updated 5 years ago
- Experiments involving the Windows Hypervisor Platform☆23Updated 4 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆10Updated 2 years ago
- ☆40Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- binary ninja related code☆25Updated 2 years ago
- ☆34Updated last year
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆48Updated 8 years ago
- ☆11Updated 4 years ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆100Updated 10 months ago
- kAFL Fuzzer☆33Updated this week
- ☆18Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- Dynamic binary translator for x86 binaries☆33Updated last year
- transpile llil to c++ for execution and testing☆42Updated last year
- 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
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆55Updated 4 years ago
- libipt - an Intel(R) Processor Trace decoder library☆18Updated 7 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆65Updated 11 months ago
- ☆16Updated 4 months ago
- ☆47Updated 2 years ago
- Virtual machine introspection library based on libvmi - parts of this work have been funded by Deutsche Forschungsgemeinschaft (DFG) – pr…☆29Updated 2 years ago
- VMCS Auditor provides almost all of Intel's VMCS Layout checklist based on Bochs Emulator.☆32Updated 6 years ago