[发明专利]过程间的空指针解引用检测方法、系统、设备以及介质有效
| 申请号： | 201811014686.4 | 申请日： | 2018-08-31 |
| 公开（公告）号： | CN109426615B | 公开（公告）日： | 2022-01-28 |
| 发明（设计）人： | 肖枭;时清凯;周金果;范刚 | 申请（专利权）人： | 深圳市源伞新科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京博思佳知识产权代理有限公司 11415 | 代理人： | 林祥 |
| 地址： | 518055 广东省深圳市南山区西丽街道*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种过程间的空指针解引用检测方法、系统、设备以及介质，包括以下步骤：对待检测程序进行预处理；生成所述待检测程序中的主调函数和被调函数的符号表达式图，根据所述被调函数的符号表达式图对所述被调函数进行过程内分析，以检测所述被调函数中的空指针以及生成所述被调函数的函数摘要；将所述被调函数的所述函数摘要嵌入所述主调函数；根据所述主调函数的符号表达式图对所述主调函数进行过程内分析，以检测所述主调函数中的空指针解引用。 | ||
| 搜索关键词： | 过程 指针 引用 检测 方法 系统 设备 以及 介质 | ||
【主权项】：
1.一种过程间的空指针解引用检测方法，其特征在于，包括：对待检测程序进行预处理；生成所述待检测程序中的主调函数和被调函数的符号表达式图，所述符号表达式图包括值节点、运算符节点，以及连接节点的数据依赖性边和控制依赖性边，其中，值节点包括终端值节点和非终端值节点，终端值节点表示当前函数外生成的未知的值或常量，非终端值节点表示当前函数内生成的值，并且每个非终端值与一个唯一的内存地址相关联，所述数据依赖性边是将节点连接到与其有直接数据依赖关系的值节点的有向边，所述控制依赖性边是当存在限定变量的条件时将变量连接到条件的所述有向边；根据所述被调函数的符号表达式图对所述被调函数进行过程内分析，以检测所述被调函数中的空指针以及生成所述被调函数的函数摘要；将所述被调函数的所述函数摘要嵌入所述主调函数；根据所述主调函数的符号表达式图对所述主调函数进行过程内分析，以检测所述主调函数中的空指针解引用。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于深圳市源伞新科技有限公司，未经深圳市源伞新科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811014686.4/，转载请声明来源钻瓜专利网。
