买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国电子科技集团公司第十五研究所申请的专利嵌入式固件混合符号执行测试系统、方法、设备和介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120705061B 。

龙图腾网通过国家知识产权局官网在2025-12-30发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510892681.5，技术领域涉及：G06F11/3668；该发明授权嵌入式固件混合符号执行测试系统、方法、设备和介质是由杨天长;任传伦;贾佳;刘策越;张鹏;郑娜;任岱榕;张冰姿设计研发完成，并于2025-06-30向国家知识产权局提交的专利申请。

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

本发明授权嵌入式固件混合符号执行测试系统、方法、设备和介质在权利要求书中公布了：1.一种嵌入式固件混合符号执行测试系统，其特征在于，包括：初始转换器、符号执行虚拟机和外设调试器； 其中，所述初始转换器，被配置为将高语义源代码与低语义汇编代码进行语义融合，得到混合语义IR文件； 所述符号执行虚拟机，被配置为通过符号变量查找所述混合语义IR文件包括的多条行为路径和各条行为路径包括的节点的状态信息，并根据多条行为路径的异常触发节点，生成各异常触发节点对应的测试用例，其中，所述符号执行虚拟机包括内存布局复刻、中断虚拟调度、DMA虚拟处理和符号内存监控与异常采集功能，所述状态信息包括路径约束条件、输入条件、中断触发序列和外设数据交互记录； 所述外设调试器，被配置为根据所述测试用例，对测试问题进行复现并分析； 所述初始转换器包括提升单元、中间层桥接单元和合并单元； 所述提升单元，被配置为将高语义源代码编译为LLVMBitcode，以及将低语义汇编代码转换为LLVMIR表达形式，其中，所述LLVMBitcode包括高语义源代码中的变量、结构体、函数作用域等高级语义信息，LLVMIR表达形式包括低语义汇编代码中的指令顺序与寄存器行为，并兼容LLVM语义； 所述中间层桥接单元，被配置为在高语义源代码和低语义汇编代码之间插入interfaceshim函数，其中，所述interfaceshim函数首先将上下文状态切换至逻辑栈变量，并执行低语义汇编代码，以及在低语义汇编代码执行结束后，将上下文状态切换至初始状态，继续执行高语义源代码； 所述合并单元，被配置为将LLVMBitcode与LLVMIR表达形式整合后，生成混合语义IR文件。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国电子科技集团公司第十五研究所，其通讯地址为：100083 北京市海淀区北四环中路211号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。