基于目标函数引导的BMC固件模糊测试方法OA

基板管理控制器(Baseboard Management Controller,BMC)作为服务器设备的嵌入式固件,管理和监控服务器运行,其安全性影响着整个服务器的安全性。随着网络攻击不断向底层系统拓展,BMC固件也成为攻击者的攻击目标之一。模糊测试已成为当下学术界与工业界广泛使用的漏洞挖掘技术。然而,由于BMC固件存在架构多样,程序封闭等原因,对于BMC固件的模糊测试难以进行,且BMC固件包含大量功能复杂的二进制程序,难以快速寻找到模糊测试的目标函数。本文针对二进制闭源BMC固件,设计了一种基于目标函数引导的BMC固件模糊测试方法。本文首先提出一种目标函数发现算法,通过静态分析与预定义危险函数调用关系分析,提取出有价值的模糊测试目标函数;然后结合目标函数发现算法,使用LibAFL构建基于QEMU的BMC的固件模糊测试器;最后结合QEMU的动态仿真技术,将动态二进制插桩、覆盖率导向等现代模糊测试技术应用于BMC固件模糊测试中,提高BMC固件模糊测试的效率。通过实验,本文提出的目标函数发现算法能够有效降低寻找目标函数的工作量,与AFL++QEMU模式相比,本文设计的模糊测试器在覆盖率与性能上均优势明显。