嵌入式固件混合符号执行测试系统、方法、设备和介质

本公开实施例提供的嵌入式固件混合符号执行测试系统、方法、设备和介质，包括：初始转换器、符号执行虚拟机和外设调试器；初始转换器，将高语义源代码与低语义汇编代码进行语义融合，得到混合语义IR文件；符号执行虚拟机，通过符号变量查找混合语义IR文件包括的多条行为路径和各条行为路径包括的节点的状态信息，并根据多条行为路径的异常触发节点，生成各异常触发节点对应的测试用例；外设调试器，根据测试用例，对测试问题进行复现并分析。提高了测试漏洞验证的工程价值。