Abstract
背景：hypervisor(virtual machine monitor, VMM) 保障了不同虚拟机之间的安全隔离(security boundaries)
用户：攻击场景：在云服务上运行自身的VM instances, 提升权限
本文：Nyx
目的：coverage guided hypervisor fuzzer
method: 1. fast snapshot restoration mechanism 2. mutation based on DAG 3. affine types to express the complex interactions
效果：
- 在简单targets上需要比其他hypervisor fuzzers更长（长几分钟）的时间
- 在复杂设备上outperform
- 44 bugs, +22 CVEs