[发明专利]语言的变量检测方法和装置

说明书

本发明公开了一种语言的变量检测方法和装置。其中，该方法包括：获取脚本语言的目标源代码中的目标变量；获取目标变量的依赖关系，其中，依赖关系用于表示目标变量中的定义变量与使用变量之间的关系；根据依赖关系，对目标变量所属的目标语句进行切片分析，得到目标变量的目标条件，其中，目标条件用于约束目标变量为未赋值变量；当对目标变量求解出满足目标条件的求解结果时，确定目标变量为未初始化变量。本发明解决了相关技术中语言的变量检测效率低下的技术问题。

技术领域

本发明涉及计算机领域，具体而言，涉及一种语言的变量检测方法和装置。

背景技术

在现有的语言变量检测技术中，采用对C语言变量的未初始化使用进行检测的技术方案，可以利用符号表、抽象语法树、控制流程图等分析未初始化变量。其中，符号表是一种用于语言翻译器中的数据结构。在符号表中，程序源代码中的每个标识符都和它的声明或使用信息绑定在一起，比如，数据类型，作用域以及内存地址等。抽象语法树所对应的树状结构，控制流程图为以图形的方式表达在问题中信息的变换和传递过程，为数据流联系的各种概念的组合，用分解及抽象手段来控制需求分析的复杂性，采用分层的数据流程图来表示一个复杂的系统。

现有技术支持C语言的变量未初始化使用检测，但不支持脚本语言的变量未初始化使用检测，同时也没有考虑条件的满足性，容易报错，导致检测误报率很高，因而语言检测的准确率低，进而导致语言的变量检测效率低下。

另外，在脚本语言的使用过程中，经常出现的典型错误是脚本语言的变量的未初始化使用。由于变量的未初始化使用只有在运行时发生崩溃才会发现这个错误，而对于游戏中使用大量脚本语言代码的情况，靠运行来修改错误，显然非常耗时，降低了语言的变量检测效率。

针对上述的语言的变量检测效率低下的问题，目前尚未提出有效的解决方案。

发明内容

本发明实施例提供了一种语言的变量检测方法和装置，以至少解决相关技术中语言的变量检测效率低下的技术问题。

根据本发明实施例的一个方面，提供了一种语言的变量检测方法。该语言的变量检测方法包括：获取脚本语言的目标源代码中的目标变量；获取目标变量的依赖关系，其中，依赖关系用于表示目标变量中的定义变量与使用变量之间的关系；根据依赖关系，对目标变量所属的目标语句进行切片分析，得到目标变量的目标条件，其中，目标条件用于约束目标变量为未赋值变量；当对目标变量求解出满足目标条件的求解结果时，确定目标变量为未初始化变量。

根据本发明实施例的另一方面，还提供了一种语言的变量检测装置。该语言的变量检测装置包括：第一获取单元，用于获取脚本语言的目标源代码中的目标变量；第二获取单元，用于获取目标变量的依赖关系，其中，依赖关系用于表示目标变量中的定义变量与使用变量之间的关系；切片分析单元，用于根据依赖关系，对目标变量所属的目标语句进行切片分析，得到目标变量的目标条件，其中，目标条件用于约束目标变量为未赋值变量；第一确定单元，用于当对目标变量求解出满足目标条件的求解结果时，确定目标变量为未初始化变量。

在本发明实施例中，采用获取脚本语言的目标源代码中的目标变量；获取目标变量的依赖关系，其中，依赖关系用于表示目标变量中的定义变量与使用变量之间的关系；根据依赖关系，对目标变量所属的目标语句进行切片分析，得到目标变量的目标条件，其中，目标条件用于约束目标变量为未赋值变量；当对目标变量求解出满足目标条件的求解结果时，确定目标变量为未初始化变量，由于采用脚本语言的变量未初始化使用检测，通过对目标变量做切片分析，同时考虑求解条件的可满足性，达到了对脚本语言进行检测的目的，从而实现了提高变量检测的效率的技术效果，进而解决了相关技术中语言的变量检测效率低下的技术问题。

附图说明

此处所说明的附图用来提供对本发明的进一步理解，构成本申请的一部分，本发明的示意性实施例及其说明用于解释本发明，并不构成对本发明的不当限定。在附图中：