Rollback Mechanism of Nested Virtual Machines for Protocol Fuzz Testing

摘要 安全通信（HTTPS、SSH等）在當前的Internet服務中非常重要。安全協議的實現應該儘可能詳盡地測試。需要對每個可達狀態進行重複的協議模糊測試，並需要快照/回滾機制。然而，普通的快照工具只會返回進程或虛擬機的狀態，而不會處理在一條連接上的數據包。此外，安全協議本質上依賴於計算環境（例如，隨機數），並且使得重複相同的測試變得困難。爲了方便和普遍地解決這些問題，我們提出了一種新的控制VM快

>>阅读原文<<