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

说明书

本发明提供一种区间信息分析方法，包括：S1，对于值依赖图中任一结点，根据该结点的任一前驱结点的区间信息和该结点与该前驱结点间的守卫条件，获取该前驱结点流入该结点的区间信息；S2，根据该结点的每一前驱结点流入该结点的区间信息和该结点的类型，获取该结点的区间信息。本发明提供的方法，应用递归的方法，基于前驱结点的区间信息和守卫条件，实现了值依赖图中任一结点区间信息的获取，提高了值依赖图的分析效率和分析进度。

技术领域

本发明涉及值依赖图技术领域，尤其涉及一种区间信息分析方法。

背景技术

值依赖图(Value Dependence Graph)是一种有向图，可表示为VDG＝(N,N_s,E,E_i)。其中，N为结点集，每个结点对应程序中的一条语句，N_s为选择语句结点集，包含分支选择语句以及循环选择语句，边集E＝{n1,ns1,…,nsi,n2|n1,n2∈N,ns1,nsi∈N_s,n1为n2在值依赖源点，ns为可选结点即n1可以直接到达n2}。上述值依赖图是对流值图的一种扩展。

值依赖图本身是通过定值使用分析和数据流分析等构造的反应变量之间守卫条件的图，所有可能影响当前结点值域范围的结点都是当前结点的前驱结点，并且每个前驱结点到当前结点都有相应的逻辑条件进行约束。

然而，如何基于值依赖图中反应变量间的守卫条件，获知任一结点的区间信息，依然是值依赖图领域亟待解决的问题。

发明内容

本发明为解决现有技术中存在的问题，提供了一种区间信息分析方法。

一方面，本发明提出一种区间信息分析方法，包括：S1，对于值依赖图中任一结点，根据该结点的任一前驱结点的区间信息和该结点与该前驱结点间的守卫条件，获取该前驱结点流入该结点的区间信息；S2，根据该结点的每一前驱结点流入该结点的区间信息和该结点的类型，获取该结点的区间信息。

优选地，所述步骤S1进一步包括：根据下式获取该结点的任一前驱结点流入该结点的区间信息：

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

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

优选地，所述步骤S2进一步包括：S21，根据下式获取流入该结点的区间信息：

式中，inMap(vnode)为流入该结点的区间信息，predsMap[i]为该结点的第i个前驱结点流入该结点的区间信息；S22，根据所述流入该结点的区间信息和该结点的类型，获取该结点的区间信息。

优选地，所述步骤S22进一步包括：若所述流入该结点的区间信息为空集，则该结点的区间信息为空集；否则，若该结点的前驱结点中包括该结点，则根据所述流入该结点的区间信息和该结点的类型，获取该结点循环前信息，基于所述循环前信息和自循环的守卫条件获取该结点的区间信息；若该结点的前驱结点不包括该结点，则基于所述流入该结点的区间信息和该结点的类型获取该结点的区间信息。

优选地，该结点的类型为赋值结点、函数调用结点、函数入口结点、条件判断结点或返回语句结点。