【论文总结】V-Shuttle：可扩展和语义感知的 Hypervisor 虚拟设备模糊测试

介绍

这是来自2021 CCS的一篇论文，作者有GaoningPan, Xingwei Lin, Xuhong Zhang, Yongkang Jia, Shouling Ji, Chunming Wu, Xinlei Ying, Jiashui Wang, Yanjun Wu。该论文提出V-shuttle的新框架来执行管控程序的模糊测试，该框架执行可扩展和语义感知的管理程序模糊测试。

该论文的贡献：

1.因为由DMA传输的数据结构是根据协议规范以嵌套的形式构建的。如果不能理解虚拟设备的协议，就会使模糊过程停留在初始模糊阶段，导致模糊效率低下，因此应对这种挑战，作者提出了新的框架V-Shuttle。

2.对世界上两个流行的管理程序平台QEMU和VirtualBox评估，发现35个bug并分配了17个CVE。

前置知识

1.云计算的核心是虚拟机管理程序，也称为虚拟机监视器（VMM），对虚拟机监视器的攻击可能导致虚拟机越权或权限提升。云计算中的Hypervisor（虚拟化管理程序）是一种软件或固件层，它允许在物理计算机上运行多个虚拟机实例。

Hypervisor使得多个虚拟机之间可以相互隔离，以便它们可以独立运行，就像它们运行在物理计算机上一样。云计算中的Hypervisor通常分为两种类型：类型1和类型2。类型1 Hypervisor（也称为“裸金属” Hypervisor）直接安装在物理计算机上，而类型2 Hypervisor则在操作系统之上运行。Hypervisor在云计算中起着至关重要的作用，因为它允许将计算资源动态分配给多个虚拟机实例，以便满足不断变化的计算需求。同时，它还提供了额外的安全性，通过在虚拟机之间建立隔离层来防止恶意软件和