[发明专利]语言的变量检测方法和装置有效
申请号: | 201710311253.4 | 申请日: | 2017-05-04 |
公开(公告)号: | CN107168760B | 公开(公告)日: | 2019-02-26 |
发明(设计)人: | 王杰 | 申请(专利权)人: | 腾讯科技(深圳)有限公司 |
主分类号: | G06F8/41 | 分类号: | G06F8/41 |
代理公司: | 北京康信知识产权代理有限责任公司 11240 | 代理人: | 赵囡囡;褚敏 |
地址: | 518000 广东省深圳*** | 国省代码: | 广东;44 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种语言的变量检测方法和装置。其中,该方法包括:获取脚本语言的目标源代码中的目标变量;获取目标变量的依赖关系,其中,依赖关系用于表示目标变量中的定义变量与使用变量之间的关系;根据依赖关系,对目标变量所属的目标语句进行切片分析,得到目标变量的目标条件,其中,目标条件用于约束目标变量为未赋值变量;当对目标变量求解出满足目标条件的求解结果时,确定目标变量为未初始化变量。本发明解决了相关技术中语言的变量检测效率低下的技术问题。 | ||
搜索关键词: | 语言 变量 检测 方法 装置 | ||
【主权项】:
1.一种语言的变量检测方法,其特征在于,包括:获取脚本语言的目标源代码中的目标变量;获取所述目标变量的依赖关系,其中,所述依赖关系用于表示所述目标变量的变量定义与变量使用之间的关系;根据所述依赖关系,对所述目标变量所属的目标语句进行切片分析,得到所述目标变量的目标条件,其中,所述目标语句包括所述目标变量的赋值语句和所述赋值语句的条件语句,所述条件语句包括所述目标变量的赋值条件,所述目标条件用于约束所述目标变量为未赋值变量;当对所述目标变量求解出满足所述目标条件的求解结果时,确定所述目标变量为所述目标条件下的未初始化变量。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于腾讯科技(深圳)有限公司,未经腾讯科技(深圳)有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201710311253.4/,转载请声明来源钻瓜专利网。
- 上一篇:一种软件代码存储方法
- 下一篇:一种选择语句优化编译方法