摘要
本申请提供了一种针对QEMU元器件数字模型的智能化检测方法,属于软件测试和源代码缺陷检测的技术领域,具体步骤1,获取QEMU元器件数字模型的源代码;步骤2,基于源代码的抽象语法树,根据源代码缺陷规则的定义,匹配到QEMU元器件数字模型中的源代码缺陷;步骤3,依据源代码生成程序的扩展图,结合符号执行技术对源代码进行路径依赖分析,检测潜在的依赖于执行路径的源代码缺陷;步骤4通过深度学习模型对源代码进行检测,得到检测结果,根据检测结果确认步骤2和步骤3的源代码缺陷是否正确。通过本申请的处理方案,解决现有检测方法中的误报率高、缺陷种类检测不全面的问题。
技术关键词
智能化检测方法
抽象语法树
符号执行技术
源代码生成程序
缺陷规则
元器件
对源代码
深度学习模型
规则集
定义
文本
列表
对象
表达式
接口
语句
指令
处理器
系统为您推荐了相关专利信息
代码漏洞检测方法
数据流特征
融合特征
风险评估模型
节点