HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs
模糊测试
计算机科学
操作系统
并行计算
软件
作者
Xinyang Ge,Ben Niu,Robert Brotzman,Yaohui Chen,Hyun-Sik Han,Patrice Godefroid,Weidong Cui
标识
DOI:10.1145/3460120.3484748
摘要
In this cloud computing era, the security of hypervisors is critical to the overall security of the cloud. In particular, the security of CPU virtualization in hypervisors is paramount because it is implemented in the most privileged CPU mode. Blackbox and graybox fuzzing are limited to finding shallow virtual CPU bugs due to its huge search space. Whitebox fuzzing can be used for systematic analysis of CPU virtualization, but existing implementations rely on slow hardware emulators to enable dynamic symbolic execution.