V-Shuttle is lightweight and semantics-aware fuzzer for type-2 hypervisors. It's built upon AFL. The fuzzer is based on our paper.
Here, we provide V-Shuttle-M (Main framework) and V-Shuttle-S (Enabling semantics-aware mode).
@inproceedings{pan2021v,
title={V-Shuttle: Scalable and Semantics-Aware Hypervisor Virtual Device Fuzzing},
author={Pan, Gaoning and Lin, Xingwei and Zhang, Xuhong and Jia, Yongkang and Ji, Shouling and Wu, Chunming and Ying, Xinlei and Wang, Jiashui and Wu, Yanjun},
booktitle={Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security},
pages={2197--2213},
year={2021}
}