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

龙图腾网获悉中国航空工业集团公司西安航空计算技术研究所申请的专利一种针对QEMU元器件数字模型的智能化检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119883860B 。

龙图腾网通过国家知识产权局官网在2025-10-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411956981.7，技术领域涉及：G06F11/3604；该发明授权一种针对QEMU元器件数字模型的智能化检测方法是由李致远;聂爱博;张清芳;朱轩乐;侯龙伟;梁争争设计研发完成，并于2024-12-29向国家知识产权局提交的专利申请。

本一种针对QEMU元器件数字模型的智能化检测方法在说明书摘要公布了：本申请提供了一种针对QEMU元器件数字模型的智能化检测方法，属于软件测试和源代码缺陷检测的技术领域，具体步骤1，获取QEMU元器件数字模型的源代码；步骤2，基于源代码的抽象语法树，根据源代码缺陷规则的定义，匹配到QEMU元器件数字模型中的源代码缺陷；步骤3，依据源代码生成程序的扩展图，结合符号执行技术对源代码进行路径依赖分析，检测潜在的依赖于执行路径的源代码缺陷；步骤4通过深度学习模型对源代码进行检测，得到检测结果，根据检测结果确认步骤2和步骤3的源代码缺陷是否正确。通过本申请的处理方案，解决现有检测方法中的误报率高、缺陷种类检测不全面的问题。

本发明授权一种针对QEMU元器件数字模型的智能化检测方法在权利要求书中公布了：1.一种针对QEMU元器件数字模型的智能化检测方法，其特征在于，包括: 步骤1，获取QEMU元器件数字模型的源代码； 步骤2，基于源代码的抽象语法树，根据源代码缺陷规则的定义，匹配到QEMU元器件数字模型中的源代码缺陷； 步骤3，依据源代码生成程序的扩展图，结合符号执行技术对源代码进行路径依赖分析，检测潜在的依赖于执行路径的源代码缺陷； 步骤4通过深度学习模型对源代码进行检测，得到检测结果，根据检测结果确认步骤2和步骤3的源代码缺陷是否正确； 在编译过程中，通过对Makefile的直接运行或模拟运行构建来搜集构建信息，获取需要分析的源文件列表、源文件的编译选项、头文件搜索路径和预定义宏关键信息； 结合源文件列表、源文件的编译选项、头文件搜索路径和预定义宏关键信息获取待检测源代码； 将待检测源代码根据头文件搜索路径和预定义宏关键信息将预定义宏和头文件替换为原始代码，形成完整的待检测源代码，对完整的待检测源代码进行扫描，将源代码文件转换为抽象语法树AST； 所述步骤2具体包括： 使用抽象语法树构建源代码对应的匹配对象，结合匹配对象所实现的类和源代码缺陷规则进行匹配，得到基于抽象语法树检测的源代码缺陷： 对完整的待检测源代码进行扫描的过程中，在扫描到#if、#endif预处理语句时，调用分析引擎中预处理器中的注册PPCallbacks类，并通过registerPPCallbacks函数在预处理阶段所添加的针对预处理指令的重载函数，得到基于预处理指令检测源代码缺陷；在源代码中的文件单元进行分析时，在进入文件单元时用onStartOfTranslationUnit函数进行初始化并开辟存储空间，在进行抽象语法树匹配时进行统计并写入存储空间，在结束文件单元分析时，调用onEndOfTranslationUnit函数，并根据存储空间中的内容进行分析，得到基于文件单元统计检测的源代码缺陷； 对完整的待检测源代码进行扫描的过程中，在词法分析阶段留有用于获取源代码的原始文本的接口,通过接口对原始文本词法进行检测，得到基于词法分析的源代码缺陷。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空工业集团公司西安航空计算技术研究所，其通讯地址为：710065 陕西省西安市高新区锦业二路15号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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