一种嵌入式固件程序漏洞检测方法、系统、设备及存储介质

本发明公开了一种嵌入式固件程序漏洞检测方法、系统、设备及存储介质，方法包括：初始化与设置，启动调试主机，加载固件程序和目标代码区域；程序监测与插桩，启动程序监测器，对固件程序的指定代码区域进行动态二进制插桩；符号执行与路径约束提取，符号执行引擎接收程序监测器传递的基本块指令流，由符号执行器执行并提取路径约束；符号存储与后备存储管理，将数据存储于符号存储模块中，并通过后备存储模块进行管理；测试用例探索与执行，探索器选择测试用例进行探索与执行；漏洞检测与结果输出，符号执行引擎根据路径约束的状态检测漏洞并输出结果；本发明能够提升嵌入式固件程序漏洞检测的准确性和效率。