状态选择算法及其对有状态网络协议模糊测试性能的影响
软件工程
2022-01-10 v2 密码学与安全
机器学习
摘要
网络协议实现的状态性对包括模糊测试在内的测试与验证技术提出了独特挑战。有状态模糊测试器利用状态模型划分状态空间并辅助测试生成过程来应对这一挑战。由于并非所有状态都同等重要且模糊测试活动有时间限制，模糊测试器需要有效的状态选择算法来优先处理进展性状态而非其他状态。已有若干状态选择算法被提出，但它们在不同平台上分别实现与评估，难以得出确定性结论。本工作中，我们在同一模糊测试平台 AFLNet（一种最先进的网络服务器模糊测试器）上评估了广泛的状态选择算法集合。该算法集合包括 AFLNet 支持的现有算法以及我们提出的名为 AFLNetLegion 的新颖且基于原则的算法。在 ProFuzzBench 基准上的实验结果表明：(i) AFLNet 的现有状态选择算法达到非常相近的代码覆盖率，(ii) AFLNetLegion 在选定案例研究中明显优于这些算法，但 (iii) 整体改进似乎不显著。这些是出乎意料却有趣的发现。我们指出了问题并分享了可能为该主题未来研究开启机遇的见解。
引用
@article{arxiv.2112.15498,
title = {State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing},
author = {Dongge Liu and Van-Thuan Pham and Gidon Ernst and Toby Murray and Benjamin I. P. Rubinstein},
journal= {arXiv preprint arXiv:2112.15498},
year = {2022}
}
备注
10 pages, 8 figures, coloured, conference