[发明专利]使用释放后内存的检测方法、系统、设备及存储介质有效
| 申请号： | 201811013000.X | 申请日： | 2018-08-31 |
| 公开（公告）号： | CN109426723B | 公开（公告）日： | 2020-12-22 |
| 发明（设计）人： | 肖枭;时清凯;周金果;范刚 | 申请（专利权）人： | 深圳市源伞新科技有限公司 |
| 主分类号： | G06F21/57 | 分类号： | G06F21/57 |
| 代理公司： | 北京博思佳知识产权代理有限公司 11415 | 代理人： | 林祥 |
| 地址： | 518055 广东省深圳市南山区西丽街道*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了使用释放后内存的检测方法、系统、设备及存储介质，该方法包括以下步骤：输入待检测的程序；生成程序中每个函数的符号表达式图，符号表达式图包括节点和连接节点的边，节点包括值节点和运算符节点，边包括数据依赖性边和控制依赖性边，其中，数据依赖性边是将节点连接到与其有直接数据依赖关系的值节点的有方向性的边，控制依赖性边是当存在限定变量的条件时将变量连接到条件的有向边；检测符号表达式图中进行内存释放操作源的源节点到进行内存释放操作对象的对象节点的路径的约束条件是否都满足，若是，则发现使用释放后内存缺陷，本发明利用符号表达式图中路径和路径约束条件的判断，能够高效地检测使用释放后内存的缺陷。 | ||
| 搜索关键词： | 使用 释放 内存 检测 方法 系统 设备 存储 介质 | ||
【主权项】：
1.一种使用释放后内存的检测方法，其特征在于，包括以下步骤：输入待检测的程序；生成待检测的程序中每个函数的符号表达式图，所述符号表达式图包括节点和连接节点的边，所述节点包括值节点和运算符节点，所述边包括数据依赖性边和控制依赖性边，其中，所述数据依赖性边是将节点连接到与其有直接数据依赖关系的值节点的有方向性的边，所述控制依赖性边是当存在限定变量的条件时将变量连接到条件的有向边；检测所述符号表达式图中代表进行内存释放操作源的源节点到代表进行内存释放操作对象的对象节点的路径的约束条件是否都满足，若是，则发现使用释放后内存缺陷。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于深圳市源伞新科技有限公司，未经深圳市源伞新科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811013000.X/，转载请声明来源钻瓜专利网。
