Open-source alternatives to Mythril

VivienneVMM

A System Level RISCV32 Emulator Over x86_64: capable of booting RISCV Linux

Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.

Cloud Hypervisor is a Rust-based hypervisor and KVM virtual machine monitor designed to execute 64-bit guest operating systems. It functions as a user-space virtual machine manager that employs a minimal emulation layer to reduce memory overhead and latency for cloud workloads. The project distinguishes itself through the use of a memory-safe language to implement a virtio device emulator and a user-space device model. It provides a standardized web API for managing virtual machine lifecycles and resource configurations. The platform covers broad virtualization capabilities, including the em

The Hedron hypervisor combines microkernel and hypervisor functionality and provides an extremely small trusted computing base for user applications and virtual machines running on top of it. The hypervisor implements a capability-based authorization model and provides basic mechanisms for…

HyperBone

The ChromeOS Virtual Machine Monitor

Firecracker is a virtual machine monitor that leverages hardware-assisted virtualization to create and manage isolated execution environments. It functions as a lightweight runtime designed to launch virtual machines with minimal memory overhead and near-instantaneous startup times, providing the security of traditional hardware virtualization with the efficiency of containerized workloads. The project distinguishes itself through a security-focused architecture that enforces strict process boundaries using system-level barriers and restricted user privileges. It minimizes the attack surface

Hello! Welcome to applepie! This is a tool designed for fuzzing, introspection, and finding bugs! This is a hypervisor using the Windows Hypervisor Platform API present in recent versions of Windows (specifically this was developed and tested on Windows 10 17763). Bochs is used for providing…

Simple x86-64 VT-x Hypervisor with EPT Hooking

This project is a secure container runtime that provides strong isolation for application workloads by implementing a userspace kernel. By intercepting system calls and executing them within a memory-safe, restricted environment, it minimizes the attack surface exposed to the host kernel. It functions as a drop-in engine for standard container orchestration platforms, ensuring compatibility with industry-standard runtime specifications while maintaining a hardened execution boundary. The runtime distinguishes itself through its ability to virtualize core system resources, including an indepen

Uhyve is a minimal, special-purpose hypervisor for the Hermit kernel.

A hypervisor written in Rust.

`diff @@ All the updates will be soon @@ `

HAXM is a cross-platform hardware-assisted virtualization engine (hypervisor), widely used as an accelerator for Android Emulatorandroid-studio and QEMUqemu. It has always supported running on Windows and macOS, and has been ported to other host operating systems as well, such as Linux…

NEMU, a cloud hypervisor Rationale QEMU base NEMU Requirements High Level Architectures Guest OS Guest Platforms Host Platforms Firmware and boot Boot methods Memory Devices - Models - Block Guest Image Formats Migration Monitoring To be discussed

SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support dynamic hyperjacking and unhyperjacking (that is, virtualizing the host state from within the host). It works on Windows and UEFI.

TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.

kHypervisor is an Open Source light-weighted Hypervisor that's capable for nested virtualization in Windows x64 platform, as an extended work of HyperPlatform

For the beginner aspiring to write a simple hypervisor.

This repository provides an overview of the rust-vmm project, its crates, guiding principles, and the development model.

Linux-based partitioning hypervisor