Rollback Mechanism of Nested Virtual Machines for Protocol Fuzz Testing

摘要 安全通信（HTTPS、SSH等）在当前的Internet服务中非常重要。安全协议的实现应该尽可能详尽地测试。需要对每个可达状态进行重复的协议模糊测试，并需要快照/回滚机制。然而，普通的快照工具只会返回进程或虚拟机的状态，而不会处理在一条连接上的数据包。此外，安全协议本质上依赖于计算环境（例如，随机数），并且使得重复相同的测试变得困难。为了方便和普遍地解决这些问题，我们提出了一种新的控制VM快

>>阅读原文<<