硬件辅助虚拟化及Fuzzing工作研究
一、前 言
二、硬件辅助虚拟化（以Intel VT为例）
三、现有对VMM Fuzzing的工作
四、CPU虚拟化漏洞：CVE-2022-1789
五、总 结
在IaaS的云平台架构中，VMM（Virtual Machine Manager，也称为Hypervisor）将宿主机物理资源分配给多个客户机使用，租户拥有对客户机的控制权。VMM在不同的客户机之间实现隔离，保证租户之间互不影响。但恶意的租户可能会利用VMM的安全漏洞，逃逸到宿主机上，并进一步危害宿主机上的其他客户机，因此，在攻击者之前发现并修复VMM中的漏洞，是保证云安全的重要工作之一。
图片来源：What is IaaS?
下面将依次介绍，虚拟化的背景知识、现有对VMM进行模糊测试的工作、以及VMM相关CVE的case study。
VT-x （Virtualizition Technology for X86)：CPU虚拟化
处理器引入了两种操作模式：
VMX Root Operation：VMM（虚拟机监控器）运行的模式，简称根模式。
VMX Non-Root Operation：Guest（客户机）运行的模式，简称非根模式。
每种模式都对应着不同的ring0-ring3特权级别。当处理器从非根模式切换到根模式时，称为VM-Exit；而当处理器从根模式切换到非根模式（例如，VMM调度某个客户机运行）时，称为VM-Entry。
此外，Intel VT-x引入了VMCS（Virtual Machine Control Structure），该结构用于保存虚拟CPU的状态信息。例如，在模式切换时，VMCS会保存处理器状态，如RIP（指令指针）的值，以及两种模式下控制寄存器的值等。VMM可以通过修改VMCS中的内容，来影响CPU的行为。
VT-x还新增了一些指令，用于虚拟化控制：
VMLAUNCH/VMRESUME：用于触发VM-Entry。
VMREAD/VMWRITE：用于读取或写入VMCS。
VMXON/VMXOFF：用于进入或退出VMX模式（是否可以执行VMXON取决于处理器的支持）。
VMX的lifecycle如下图所示，首先，软件通过执行VMXON指令进入根模式。在此模式下，VMM可以通过VM Entry（使用VMLAUNCH和VMRESUME指令）加载客户机运行，处理器切换到非根模式。当遇到客户机无法处理的情况，会通过VM Exit将控制权转交给VMM，处理器切换回根模式。VMM可以根据VM Exit的原因采取相应的操作，处理后再通过VM Entry重新加载客户机运行。最后，VMM可以通过执行VMXOFF指令退出VMX操作模式，结束VMX的lifecycle。
图片来源：参考链接[2]
VCPU
VCPU描述符类似进程描述符，本质是一个结构体，除了VMCS以外，这个结构体还包含VCPU标识信息（例如属于哪个客户机）、VCPU状态信息（例如睡眠还是运行）等，主要供VMM调度时使用。VMM创建客户机时，首先要为其创建VCPU，客户机的运行就是VMM调度不同的VCPU运行。
1. VCPU的创建
创建VCPU描述符实际上是分配相应大小的内存并进行初始化，具体的初始化内容包括： 分配VCPU标识：标识该VCPU所属的客户机。 初始化虚拟寄存器组：主要就是指初始化VMCS的相关域。 初始化VCPU的状态信息。 初始化额外部件：包括未被VMCS覆盖的寄存器和虚拟LAPIC等部件的配置。 初始化其他信息：根据VMM实现的不同，对VCPU的私有数据进行初始化。
其中，VMCS初始化包括以下几个部分： 客户机状态域：根据物理CPU初始化的状态来设置。例如，物理CPU加电后跳转到BIOS，GUEST RIP字段会设置为虚拟机BIOS的起始地址。 宿主机状态域：参考VMM运行时CPU的状态，用于描述VM-Exit时，CPU切换回根模式时的寄存器值。例如，HOST RIP通常设置为VMM中VM-Exit处理函数的入口地址。 VM-Execution控制域：设置哪些特权指令会触发VM-Exit。 VM-Exit控制域：通常由VMM设置，控制一些字段，如Acknowledge interrupt on exit，有助于快速响应外部中断。
2. VCPU的运行
当VMM调度VCPU到物理CPU上运行时，需要进行上下文切换，既包括硬件自动切换（VMCS部分），也包括VMM软件切换（非VMCS部分，如浮点寄存器）。具体步骤如下： VMM保存自己的上下文：VMM保存VMCS中未包含的寄存器内容。 加载VCPU上下文：VMM将VCPU中由软件切换的上下文加载到物理CPU。 执行VMLAUNCH/VMRESUME：VMM通过执行VMLAUNCH/VMRESUME指令触发VM-Entry，CPU自动将VCPU中的VMCS部分加载到物理CPU，并切换到非根模式。
图片来源：参考链接[1]
3. VCPU的退出
与进程类似，VCPU作为调度单位不会一直运行，它会因为执行特权指令、物理中断等原因发生退出，这种退出称为VM-Exit。发生VM-Exit时，VMM的处理流程如下： VM-Exit发生时，CPU自动进行部分上下文切换。 CPU切换到根模式，并执行VM-Exit的处理函数。 图片来源：参考链接[1] 当发生VM-Exit时，相关的处理函数由VMM实现。该处理函数负责根据触发VM-Exit的原因采取相应的处理。虽然VM-Exit的原因可能各不相同，但这些原因的代码可以在Intel的开发者手册中找到。下图截取了手册中的部分exit reasons。 图片来源：参考链接[2] 4. VCPU的再运行 当VMM处理完VM-Exit后，会重新调度VCPU继续运行。如果VCPU继续在同一物理CPU上执行，可以通过VMRESUME指令实现VM-Entry。若VCPU被调度到另一物理CPU上运行，由于VMCS与物理CPU是一对一绑定的，VMM需要将VMCS重新绑定到新的物理CPU，然后通过VMLAUNCH指令触发VM-Entry。 下面以KVM+QEMU为例，从源码介绍VCPU的创建——运行——退出的过程： 1. VCPU创建： qemu侧：通过ioctl与kvm交互，创建vcpu，并且设置共享内存（kvm_run结构体）进行后续的数据交互 kvm侧：创建VCPU的ioctl系统调用处理函数 2. VCPU运行+退出： qemu侧： 在do while 循环中，在kvm_vcpu_ioctl(cpu, KVM_RUN, 0)中调用KVM，运行客户机，并通过kvm_run结构体，监测是否发生VM-Exit。
kvm侧：
以handle_io为例：
简单I/O操作（比如执行IN, OUT指令）
字符串I/O操作（比如执行INS, OUTS指令）
EPT：内存虚拟化
为了让客户机能够拥有一块从0开始的内存地址空间，VMM引入了一层新的地址空间，即客户机物理地址空间，这个地址空间里面，存在客户机虚拟地址（Guest Virtual Address，GVA）到客户机物理地址（Guest Physical Address，GPA）的转换，由客户机操纵系统完成。但GPA不是真正的物理地址，它和真正的物理地址之间还有一层映射，需要由VMM负责，从GPA转换到宿主机物理地址（Host Physical Address，HPA），在纯软件实现的虚拟化中，引入了影子页表（Shadow Page Table）来实现由GVA直接翻译为HPA，这样就能够在MMU中装载影子页表，硬件通过多级页表进行地址翻译，进行内存访问。当客户机试图修改其维护的GVA到GPA的映射关系时，VMM也对影子页表做相应的修改，VMM通过VM-Exit来截获这样的操作，同时每个客户机进行的页表都要维护对应的影子页表，因此造成了比较大的性能开销。
图片来源：参考链接[5]
为了解决性能问题，VT-x提供了EPT（Extended Page Table)技术，在硬件上支持GVA->GPA->HPA的转换。
EPT引入了一种二级地址转换，具体的工作原理是：
客户机操作系统首先通过客户机自己的页表将虚拟地址转换成客户机的物理地址。
然后，硬件会通过EPT页表，直接将虚拟机的物理地址转换为宿主机的物理地址。以CR3寄存器的访问为例，首先，CPU查找CR3指向的L4页表，获得GPA，然后通过EPT页表实现GPA -> HPA的转换，获得L4的HPA以后，CPU根据GVA和L4表项的内容，找到L3表项的GPA，然后再通过EPT进行转换，直到最终解析出GVA对应的GPA，然后再次通过EPT转换得到HPA。
图片来源：参考链接[5]
通过这种方式，EPT 省去了第二次由 VMM 进行地址转换的步骤，这就大大减少了内存访问时的性能损失。
只有当EPT页表发生缺页时，才会触发VM-Exit，由VMM进行处理。并且，EPT使用TLB缓存来加速页表查询的速度。 VT-d (Virtualization Technology for Directed I/O)：I/O设备虚拟化
如果客户机能够直接通过自己的驱动程序发现和操作硬件设备，那么它的性能就会与没有虚拟化的情况几乎相同。而且，在这种情况下，I/O虚拟化技术对客户机是透明的，这也解决了通用性的问题。然而，要实现客户机直接操作设备，需要解决以下两个问题：
客户机如何访问设备的真实I/O地址空间（包括Port IO和MMIO）。
设备的DMA操作如何直接访问客户机的内存空间。
第一个问题在VT-x中已经得到了解决，客户机可以通过EPT（扩展页表）访问设备的地址空间。而第二个问题则通过VT-d技术得以解决。VT-d提供了DMA重映射功能，使用DMA重映射硬件截获所有设备的DMA操作，并根据设备的I/O页表对DMA地址进行转换，确保设备只能访问指定的内存区域。图示中，左侧是没有启用VT-d的情况，此时设备的DMA操作可以访问整个物理内存空间；而右侧是启用VT-d的情况，设备只能访问指定的物理内存区域。
图片来源：参考链接[4] DMA remapping技术 客户机在操作设备的时候，使用的是GPA，设备在进行DMA的时候，需要使用HPA，但是无法通过软件的方式截获设备的DMA操作，所以就需要用到DMA remapping技术。 首先，已知通过设备标识符（BDF)可以索引到任何总线上的任何设备。 图源：参考链接[4] DMA的传输中也存在一个BDF，标识这次DMA是由哪个设备发起的，在vt-d中，还引入了Root Entry和Context Entry概念，每根总线对应一个Root Entry，每个设备对应一个Context Entry，通过Root Entry表和Context Entry表就可以获得设备和Domain之间的映射关系。 图片来源：参考链接[1] 这样，当DMA remapping硬件捕获一个DMA传输时，可以通过Root Entry和Context Entry索引到该设备对应的I/O页表，从而完成地址转换。VT-d中除了DMA remapping以外，还提供了I/O device assignment、Interrupt remapping等功能，具体内容可参考《Intel® Virtualization Technology for Directed I/O》。 上述硬件辅助虚拟化内容主要参考了《系统虚拟化：原理与实现》这本书，书中包含更多细节，感兴趣的同学可以看一下。 虚拟设备fuzzing 这类工作fuzzing的对象是VMM中实现的虚拟设备。具体来说，他们的实验部分都包括对QEMU虚拟设备的fuzzing。有的工作也对VMware的虚拟化产品、Bhyve等VMM进行了实验。 图片来源：参考链接[4] 主要包括以下工作： VDF (RAID'17) 使用AFL给虚拟设备相关的代码进行插桩。 Hyper-Cube (NDSS'20) hook所有的DMA操作到指定的地址空间。 NYX (Security'21) 对每个设备的语法规则进行编码。 V-Shuttle (CCS'21) 解决DMA的语义和语法问题。 MORPHUZZ (Security'22) 根据hypervisor的两种机制生成符合PIO/MMIO/DMA要求的输入。 VD-Guard (ASE'23 将触发MMIO到DMA的执行路径作为反馈信息。 ViDeZZo (S&P'23) 对虚拟设备的源码中依赖关系进行注释，并根据注释生成输入。 HYPERPILL (Security'24） 利用了CPU的虚拟化接口，识别PIO、MMIO、DMA的地址范围。 最早对VMM进行fuzzing的工作VDF，只能对PIO和MMIO这两个接口进行测试，实验方面用了覆盖率、bug detection为指标。Hyper-Cube使用了黑盒fuzzing，已经可以对PIO、MMIO、DMA、Hypercall进行测试，虽然没有用覆盖率做反馈，但是较高的吞吐量也使实验结果在多个设备上优于VDF。后面NYX、V-Shuttle、MORPHUZZ、ViDeZZo、HYPERPILL等工作主要是在提升输入的质量，让fuzzing能产生有效的输入。VD-Guard引入了MMIO到DMA的执行路径作为反馈信息之一。 CPU虚拟fuzz 对虚拟CPU进行Fuzzing的工作只看到了Hyperfuzzer（CCS ’21），它的fuzzing输入是一个虚拟机的状态，包括寄存器和内存，虚拟机运行后，将会触发VCPU执行一些指令，直到第一次发生VM-Exit，Hyperfuzzer在此时停止虚拟机，通过Intel PT获得后续CPU中的指令执行作为覆盖率信息反馈给AFL，同时用符号执行求解分支条件，引导生成更“有趣”的输入。 Hyperfuzzer部署在搭载Intel芯片的机器上，并对Hyper-V进行了实验。测试的对象是hypercalls, hardware task switch emulation, advanced programmable interrupt controller (APIC) emulation, and model-specific register (MSR) emulation，发现了11个未知的Bug。 图片来源：参考链接[3] 漏洞详情 在搭载Intel CPU的宿主机上，令KVM模块禁用EPT和VPID。并在启动的客户机中设置CR0.PG=0，即禁用分页机制。客户机在内核态运行一条INVPCID指令，INVPCID 指令用于清除与特定进程上下文标识符（PCID）相关的 TLB 条目。因为它是特权指令，所以会发生VM-Exit，进入物理机的hypervisor来执行，对应版本的KVM hypervisor在模拟这个指令时存在一个bug，需要用到invlpg的回调函数，该函数在上述设置下为空。指令模拟代码没有检查空指针就进行了解引用，造成内核crash。 漏洞复现 此CVE的reporter公布了使用的PoC： 内核的调用链如下： 补丁： 修复之后变成，先检查是否为空指针，如果是空指针就不进行解引用。 本文介绍了硬件辅助虚拟化在CPU虚拟化、内存虚拟化和I/O设备虚拟化中的应用，并回顾了当前对VMM进行模糊测试的相关工作。最后，通过一个CPU虚拟化漏洞的实例，展示了此类场景下可能存在的攻击行为。希望本文能够为读者在虚拟化漏洞挖掘方面提供一些帮助。 1. Intel Corporation 2008英特尔开.系统虚拟化——原理与实现[M].北京:清华大学出版社,2009. 2. Intel 64 and IA-32 Architectures Software Developer’s Manual 3. HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs 4. Intel Virtualization Technology for Directed I/O. 5. Hypervisor From Scratch – Part 4: Address Translation Using Extended Page Table (EPT)
自定义模型:
{文章来源和文章摘要}
奇安信天工实验室公众号发布的文章《硬件辅助虚拟化及Fuzzing工作研究》，详细介绍了硬件辅助虚拟化技术（以Intel VT为例）、现有对VMM Fuzzing的工作、CPU虚拟化漏洞（如CVE-2022-1789）等内容。文章还探讨了VMM在云平台架构中的作用，以及如何通过硬件辅助技术提升虚拟化性能和安全性。
======
{文章总结}
文章深入分析了硬件辅助虚拟化技术在云平台中的应用，特别是Intel VT技术如何通过VMX（Virtual Machine eXtensions）实现虚拟机的管理和调度。此外，文章还介绍了现有的VMM Fuzzing工作，以及如何通过Fuzzing技术发现和利用CPU虚拟化漏洞。最后，文章总结了硬件辅助虚拟化在提升系统性能和安全性方面的重要性。
======
{对文章的看法}
这篇文章内容详实，对硬件辅助虚拟化技术和Fuzzing工作进行了深入的探讨，对于从事云计算和虚拟化安全研究的人员具有很高的参考价值。文章不仅介绍了技术原理，还结合实际案例和实验结果，使得内容更加具体和实用。整体而言，这是一篇非常有深度的技术文章，值得推荐给相关领域的研究人员和从业者。
微信扫一扫
关注该公众号