缺陷检测方法、设备、系统和计算机可读存储介质
基本信息
| 申请号 | CN201811013103.6 | 申请日 | - |
| 公开（公告）号 | CN109426614A | 公开（公告）日 | 2019-03-05 |
| 申请公布号 | CN109426614A | 申请公布日 | 2019-03-05 |
| 分类号 | G06F11/36;G06F8/41 | 分类 | 计算；推算；计数; |
| 发明人 | 时清凯;范刚;肖枭;周金果 | 申请（专利权）人 | 深圳市源伞新科技有限公司 |
| 代理机构 | 北京律智知识产权代理有限公司 | 代理人 | 袁礼君;阚梓瑄 |
| 地址 | 518055 广东省深圳市南山区西丽街道西丽中山园路1001号TCL国际E城C7-C栋201 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种缺陷检测方法、装置、设备和计算机可读存储介质，该方法包括：输入待检测的程序，并对待检测的程序进行预处理；生成待检测的程序的符号表示图，其中，符号表示图中的节点表示程序中的变量，符号表示图中的边表示数据依赖性和控制依赖性，符号表示图中还包括运算符；沿着数据依赖性边，向后遍历该符号表示图，以检测缺陷。本发明的方法、装置、设备通过遍历本发明提出的符号表示图，能够高效地检测空指针解引用或缓冲区溢出缺陷。 |
