返回
Binary protocol greybox fuzzing driven by marine predators algorithm
DOI:10.1186/s42400-026-00646-8.png)
摘要
En 中文
二进制协议广泛应用于互联网、工业控制系统和物联网应用中,其实现中的漏洞会直接影响系统安全。现有的二进制协议模糊测试工具面临三个实际挑战:在具有隐含字段边界的消息中识别有效的变异位置、推断不同协议字段的变异约束,以及调度适当的变异算子以探索新程序路径而不生成过多的无效测试用例。本文提出MPAuzz,一种由海洋捕食者算法(MPA)驱动的二进制协议灰盒模糊测试工具。MPAuzz首先进行基于反馈的变异位置探索,并将消息区域分类为可变、受限或不可变。然后,它将变异算子调度表述为一个多维优化问题,其中每个维度对应一个变异区域的选择算子。通过模拟MPA的分阶段探索和利用过程,MPAuzz根据程序响应和覆盖反馈自适应地调整算子组合。在包括MQTT、DTLS、DNS和CoAP的二进制协议实现上的实验表明,MPAuzz实现了98.1%的平均有效测试用例比率,平均分支覆盖率比AFLNet提高38.3%,比StateAFL提高26.5%,并在所有目标中触发了最多的崩溃。
Keyword:
Binary protocol
Fuzzing
Network security
Mutation position

