SNPSFuzzer：一种利用快照的有状态网络协议快速灰盒模糊测试器
密码学与安全
2022-02-18 v2 计算机与社会
摘要
灰盒模糊测试已广泛应用于无状态程序并取得了巨大成功。然而，大多数最先进的灰盒模糊测试器在模糊测试能够记忆和存储交互细节的有状态网络协议程序时，普遍存在速度慢和状态深度覆盖浅的问题。现有的网络协议程序灰盒模糊测试器先发送一系列定义良好的前缀输入消息序列，再发送变异消息以测试有状态网络协议的特定目标状态。上述过程导致了高昂的时间成本。本文中，我们提出 SNPSFuzzer，一种利用快照的有状态网络协议快速灰盒模糊测试器。SNPSFuzzer 在网络协议程序处于特定状态时转储上下文信息，并在需要模糊测试该状态时予以恢复。此外，我们设计了一种消息链分析算法以探索更多更深层的网络协议状态。我们的评估显示，与最先进的网络协议灰盒模糊测试器 AFLNET 相比，SNPSFuzzer 将网络协议模糊测试速度提升了 112.0%–168.9%，并在 24 小时内将路径覆盖率提高了 21.4%–27.5%。此外，SNPSFuzzer 暴露了 Tinydtls 程序中一个先前未报告的漏洞。
引用
@article{arxiv.2202.03643,
title = {SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols using Snapshots},
author = {Junqiang Li and Senyi Li and Gang Sun and Ting Chen and Hongfang Yu},
journal= {arXiv preprint arXiv:2202.03643},
year = {2022}
}