V-Shuttle: Scalable and Semantics-Aware Hypervisor Virtual Device Fuzzing

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).

Citation:

@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}
}