龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
申请/专利权人：北京轩宇信息技术有限公司
申请日：2020-12-29
公开（公告）日：2021-04-09
公开（公告）号：CN112631925A
主分类号：G06F11/36(20060101)
分类号：G06F11/36(20060101)
优先权：
专利状态码：在审-实质审查的生效
法律状态：2021.04.27#实质审查的生效;2021.04.09#公开
摘要：本申请公开了一种单变量原子违背缺陷的检测方法，该方法包括：将预设中断驱动型软件的源代码转换为中间表示形式LLVMIR，根据中间表示形式构建程序依赖图；根据程序依赖图以及预设IFDS框架构建得到爆炸超图，根据爆炸超图对主程序数据流分析确定每个全局变量串行可达的两次访问序，并对两次访问序的可行性进行分析得到第一分析结果；根据第一分析结果确定出至少一个共享全局变量，以及确定出每个共享全局变量对应的三次访问序，对三次访问序的可行性进行分析得到第二分析结果，根据第二分析结果确定原子违背缺陷并生成缺陷报告。本申请解决了现有技术中单变量原子性违背缺陷检测的准确性和效率较低的技术问题。
主权项：1.一种单变量原子违背缺陷的检测方法，其特征在于，包括：将预设中断驱动型软件的源代码转换为中间表示形式LLVMIR，根据所述中间表示形式构建程序依赖图，其中，所述预设中断驱动型软件包括主程序、多个中断程序；根据所述程序依赖图以及预设IFDS框架构建得到爆炸超图，根据所述爆炸超图对所述主程序数据流分析确定每个全局变量串行可达的两次访问序，并对所述两次访问序的可行性进行分析得到第一分析结果，其中，所述爆炸超图表示数据流所映射的有向图；根据所述第一分析结果确定出至少一个共享全局变量，以及确定出每个所述共享全局变量对应的三次访问序，对所述三次访问序的可行性进行分析得到第二分析结果，根据所述第二分析结果确定原子违背缺陷并生成缺陷报告，其中，所述共享全局变量是指对中断执行路径和所述主程序执行路径之间具有副作用的变量。
全文数据：
权利要求：
百度查询： 北京轩宇信息技术有限公司 一种单变量原子违背缺陷的检测方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号