[发明专利]一种区间信息分析方法

权利要求书

1.一种区间信息分析方法，其特征在于，包括：

S1，对于值依赖图中任一结点，根据该结点的任一前驱结点的区间信息和该结点与该前驱结点间的守卫条件，获取该前驱结点流入该结点的区间信息；

所述守卫条件为值依赖图中任一结点与所述任一结点的前驱结点之间存在的依赖关系的属性；所述前驱结点的值依赖信息能够传递到所述任一结点的条件为所述守卫条件得到满足；

S2，根据该结点的每一前驱结点流入该结点的区间信息和该结点的类型，获取该结点的区间信息；

任一结点的区间信息如下式所示：

outMap＝{var,isLeft,VRI}；

式中，outMap为结点的区间信息，var为变量，isLeft为true或false，true和false分别用于表示变量var位于所述结点对应的语句中等号的左边和右边，VRI为变量var对应的值域信息；

所述步骤S1进一步包括：

根据下式获取该结点的任一前驱结点流入该结点的区间信息：

predsMap[i](vnode)＝outMap[i]∩guardMap[i]；

式中，predsMap[i](vnode)为该结点的第i个前驱结点流入该结点的区间信息，outMap[i]为该结点的第i个前驱结点的区间信息，guardMap[i]为该结点与该结点的第i个前驱结点间的守卫条件的区间信息。

2.根据权利要求1所述的方法，其特征在于，所述步骤S2进一步包括：

S21，根据下式获取流入该结点的区间信息：

式中，inMap(vnode)为流入该结点的区间信息，predsMap[i]为该结点的第i个前驱结点流入该结点的区间信息；

S22，根据所述流入该结点的区间信息和该结点的类型，获取该结点的区间信息。

3.根据权利要求2所述的方法，其特征在于，所述步骤S22进一步包括：

若所述流入该结点的区间信息为空集，则该结点的区间信息为空集；

否则，若该结点的前驱结点中包括该结点，则根据所述流入该结点的区间信息和该结点的类型，获取该结点循环前信息，基于所述循环前信息和自循环的守卫条件获取该结点的区间信息；若该结点的前驱结点不包括该结点，则基于所述流入该结点的区间信息和该结点的类型获取该结点的区间信息。

4.根据权利要求2所述的方法，其特征在于，该结点的类型为赋值结点、函数调用结点、函数入口结点、条件判断结点或返回语句结点。

5.根据权利要求4所述的方法，其特征在于，

若该结点为赋值结点，则根据所述流入该结点的区间信息模拟计算，获取该结点的区间信息；

若该结点为函数调用结点，则根据所述流入该结点的区间信息获取该结点中的函数调用的参数的区间信息，将所述参数的区间信息作为该结点的区间信息；

若该结点为函数入口结点，且函数调用为变量，则从所述流入该结点的区间信息中提取所述变量的区间信息，并将所述变量的区间信息作为该结点的区间信息；

若该结点为函数入口结点，且函数调用为常量，则将该常量的区间信息作为该结点的区间信息；

若该结点为条件判断结点或返回语句结点，则该结点的区间信息为所述流入该结点的区间信息。

6.根据权利要求2至5中任一权利要求所述的方法，其特征在于，所述流入该结点的区间信息如下式所示：

inMap＝{var,VRI}；

式中，inMap为流入该结点的区间信息，var为变量，VRI为变量var对应的值域信息。

7.一种区间信息分析设备，其特征在于，包括：

至少一个处理器；以及与所述处理器通信连接的至少一个存储器，其中：所述存储器存储有可被所述处理器执行的程序指令，所述处理器调用所述程序指令能够执行如权利要求1至6任一所述的方法。

8.一种非暂态计算机可读存储介质，其特征在于，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令使所述计算机执行如权利要求1至6任一所述的方法。