返回
RSAFL: Guide protocol fuzzing by runtime state data
DOI:10.1016/j.cose.2026.105055.png)
摘要
En 中文
有状态网络协议实现因其复杂的状态依赖逻辑容易产生安全漏洞,使得高效检测此类缺陷成为一个关键挑战。现有的状态感知模糊测试方法要么依赖显式协议特征——限制了其适用性,要么不加区分地处理内存数据——引入噪声从而降低准确性。为解决这些局限性,本文提出了一种运行时状态数据引导的模糊测试方法,通过预处理和多维特征提取来优化状态推理。我们的方法首先过滤运行时快照中的无关噪声,然后使用结构模式、语义关键词和离散标记来表征协议状态。一种定制的状态距离度量量化了状态之间的差异,从而实现精确聚类和动态构建高保真状态机。我们将此方法实现为RSAFL,一种集成了轻量级特征提取和状态建模的灰盒模糊测试器。在11个广泛使用的协议实现上的评估表明,RSAFL在对抗六种最先进的模糊测试器时取得了更好的结果,证明了其在探索深层状态空间和发现隐藏安全缺陷方面的实际有效性。
Keyword:
Protocol fuzzing
Stateful testing
Runtime data

