首页/ 北京轩宇信息技术有限公司/ 专利详情

一种单变量原子违背缺陷的检测方法

基本信息

申请号 CN202011591752.1 申请日 -
公开（公告）号 CN112631925A 公开（公告）日 2021-04-09
申请公布号 CN112631925A 申请公布日 2021-04-09
分类号 G06F11/36 分类 计算；推算；计数;
发明人 李超;陈睿;王博详;于婷婷;高栋栋 申请（专利权）人 北京轩宇信息技术有限公司
代理机构 中国航天科技专利中心 代理人 李明泽
地址 100190 北京市海淀区科学院南路2号融科资讯中心C座南楼1101-1102
法律状态 -

摘要

摘要 本申请公开了一种单变量原子违背缺陷的检测方法，该方法包括：将预设中断驱动型软件的源代码转换为中间表示形式LLVMIR，根据中间表示形式构建程序依赖图；根据程序依赖图以及预设IFDS框架构建得到爆炸超图，根据爆炸超图对主程序数据流分析确定每个全局变量串行可达的两次访问序，并对两次访问序的可行性进行分析得到第一分析结果；根据第一分析结果确定出至少一个共享全局变量，以及确定出每个共享全局变量对应的三次访问序，对三次访问序的可行性进行分析得到第二分析结果，根据第二分析结果确定原子违背缺陷并生成缺陷报告。本申请解决了现有技术中单变量原子性违背缺陷检测的准确性和效率较低的技术问题。