AFLNet 五年后：关于覆盖率导向的协议模糊测试

协议实现是有状态的，这使其测试困难：发送相同的测试输入消息两次可能每次都产生不同的响应。我们提出将消息序列作为覆盖导向的灰盒模糊测试的种子、将每个消息关联到相应协议状态、并最大化状态空间和代码覆盖率的想法，最初于 2020 年发表于一篇短篇工具演示论文中。AFLNet 是第一个以代码和状态覆盖率为导向的协议模糊器；它将响应代码作为当前协议状态的指示器。过去五年间，这篇工具论文已获得数百篇引用，代码仓库被 Fork 近 200 次，已收到来自实践者和研究者的 thirty 多个拉取请求，并且我们的初始构想在许多方面得到了显著改进。本文首先提供对 AFLNet 技术贡献的扩展讨论和完整实证评估，然后反思我们的方法和工具在过去五年间对协议模糊测试的研究和实践产生的影响。