uberspark / uberxmhf
uber eXtensible Micro-Hypervisor Framework
☆31Updated 8 months ago
Alternatives and similar repositories for uberxmhf:
Users that are interested in uberxmhf are comparing it to the libraries listed below
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆65Updated 11 months ago
- The Hedron Microhypervisor☆77Updated last year
- Intel Kernel Guard Technology Core Repo☆55Updated 10 months ago
- A deterministic, fuzzable pthread implementation☆37Updated last year
- ☆70Updated 4 years ago
- deprecated☆46Updated 5 years ago
- ☆90Updated 10 months ago
- Fork of KVM with Virtual Machine Introspection patches☆35Updated last year
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- bareflank based hypervisor with guest support☆60Updated 4 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- Multicore x64 kernel with a focus on introspection and debugging capabilities.☆61Updated 8 months ago
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 2 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆77Updated 4 years ago
- ☆29Updated 4 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.☆11Updated 4 years ago
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆17Updated 4 months ago
- Diablo is a retargetable link-time binary rewriting framework☆76Updated 4 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 weeks ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆11Updated last year
- A very simple hypervisor for learning experience.☆136Updated 3 years ago
- A git clone of the official mercurial repository☆88Updated 2 months ago
- Helper library for using the IPC CLI python module of OpenIPC☆12Updated 4 years ago
- The sample DXE runtime driver demonstrating how to program DMA remapping.☆58Updated last year
- KVM Virtual Machine Introspection Library☆46Updated last year
- Extracting high level semantic information from binary code☆64Updated 5 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago