[发明专利]缺陷检测方法、设备、系统和计算机可读存储介质在审
| 申请号： | 201811013103.6 | 申请日： | 2018-08-31 |
| 公开（公告）号： | CN109426614A | 公开（公告）日： | 2019-03-05 |
| 发明（设计）人： | 肖枭;时清凯;周金果;范刚;张川 | 申请（专利权）人： | 深圳市源伞新科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F8/41 |
| 代理公司： | 北京律智知识产权代理有限公司 11438 | 代理人： | 袁礼君;阚梓瑄 |
| 地址： | 518055 广东省深圳市南山区西丽街道*** | 国省代码： | 广东;44 |
| 权利要求书： | 暂无信息 | 说明书： | 暂无信息 |
| 摘要： | 本发明公开了一种缺陷检测方法、装置、设备和计算机可读存储介质，该方法包括：输入待检测的程序，并对待检测的程序进行预处理；生成待检测的程序的符号表示图，其中，符号表示图中的节点表示程序中的变量，符号表示图中的边表示数据依赖性和控制依赖性，符号表示图中还包括运算符；沿着数据依赖性边，向后遍历该符号表示图，以检测缺陷。本发明的方法、装置、设备通过遍历本发明提出的符号表示图，能够高效地检测空指针解引用或缓冲区溢出缺陷。 | ||
| 搜索关键词： | 检测 计算机可读存储介质 缺陷检测 遍历 预处理 数据依赖性 缓冲区 表示数据 空指针 运算符 向后 溢出 引用 | ||
【主权项】：
1.一种缺陷检测方法，包括：对待检测的程序进行预处理；生成待检测程序的符号表达式图，所述符号表达式图包括值节点、运算符节点，以及连接节点的数据依赖性边和控制依赖性边，其中，所述值节点包括终端值节点和非终端值节点，所述终端值节点表示当前函数外生成的未知的值或常量，所述非终端值节点表示所述当前函数内生成的非终端值，并且每个所述非终端值与一个唯一的内存地址相关联，所述数据依赖性边是将所述节点连接到与其有直接数据依赖关系的值节点的有方向性的边，所述控制依赖性边是当存在限定变量的条件时将变量连接到条件的有方向性的边；以及对所述符号表达式图向后进行深度优先遍历，在发现缺陷时生成错误报告。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于深圳市源伞新科技有限公司，未经深圳市源伞新科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811013103.6/，转载请声明来源钻瓜专利网。
