[发明专利]用于计算过程间支配者的系统和/或方法

说明书

根据一些实施例的一个方面，提供一种针对在软件程序的多个函数之间的支配关系分析软件程序的代码的计算机化的方法，该方法包括：接收软件程序的源代码，源代码具有多个函数；标识各自用于多个函数中的另一函数的多个过程内支配者图；组合多个过程内支配者图以创建具有在多个函数的节点之间逻辑地连接的边的过程间支配图；使用过程间支配图来标识在多个函数中的不同函数中的节点之间的多个过程间支配关系；以及根据多个过程间支配关系分析软件程序。

技术领域

本发明在其一些实施例中涉及一种用于计算支配者的方法和/或系统，并且更具体地、但是不排他地涉及一种用于计算过程间支配者的方法和/或系统。

背景技术

Cooper、Keith D.,Timothy J.Harvey和Ken Kennedy的“A simple, fastdominance algorithm.”Software Practice&Experience 4(2001): 1-10似乎公开了“在控制流图中找到支配者的问题在文献中具有悠久历史。原有算法受大量渐近复杂性影响、但是易于理解。后续工作改进了时间限界、但是一般地牺牲了简单性和易于实施这二者。本文回到将支配用公式简单表示为全局数据流问题。”

在标题为“在过程间流图中找到支配者”的讲座中，约阿尼纳大学的卢卡斯·乔治亚迪思似乎呈现了一种用于在过程间流图中找到支配者的算法。乔治亚迪思似乎基于解决数据流方程和/或基于过程间深度优先搜索来计算过程间支配者关系。

发明内容

根据本发明的一些实施例的一个方面，提供一种针对在软件程序的多个函数之间的支配关系分析软件程序的代码的计算机化的方法，该方法包括：接收软件程序的源代码，源代码具有多个函数；标识各自用于多个函数中的另一函数的多个过程内支配者图；组合多个过程内支配者图以创建具有在多个函数的节点之间逻辑地连接的边的过程间支配图；使用过程间支配图来标识在多个函数中的不同函数中的节点之间的多个过程间支配关系；以及根据多个过程间支配关系分析软件程序。

根据本发明的一些实施例，计算机化的方法还包括：标识过程内支配者图中的一个或者多个过程间支配候选；针对过程间支配候选中的每个过程间支配候选计算过程间支配者集合；并且其中组合包括通过在一个或者多个过程间支配候选与来自过程间支配者集合的一个或者多个支配者之间逻辑地添加过程间边来计算过程间支配图。

可选地，计算过程间支配者集合包括按需计算用于过程间支配候选之一的过程间支配者集合。

可选地，计算机化的方法还包括：标识多个函数的过程间控制流图；并且其中过程间支配候选包括节点，该节点是在过程间控制流图中具有多于一个前代的函数入口，并且该节点在恢复节点的支配前界中或者该节点在另一过程间支配候选的支配前界中。

可选地，该方法还包括：向过程间控制流图添加阻塞节点的集合，从而计算未追踪循环路径。根据本发明的一些实施例，组合包括针对每个过程间支配候选并行计算过程间支配者集合。

根据本发明的一些实施例，该方法还包括：对多个函数中的一个或者多个函数做出局部化的改变，仅针对改变的一个或者多个函数的受影响的过程间支配候选重新计算过程间支配者集合，以及仅重新连接受影响的节点。

根据本发明的一些实施例，过程间支配图在组合多个过程内支配者图以创建过程间支配图的中间时段期间表示正确支配关系。

根据本发明的一些实施例，该方法还包括：高速缓存计算的过程间支配者集合的数据，从而高速缓存的数据可用于后续支配者计算。

根据本发明的一些实施例，组合包括通过添加将具有单个调用地点的函数的调用节点连接到该函数的入口节点的边来创建过程间支配图。

根据本发明的一些实施例，组合包括通过添加将每个函数出口节点连接到该函数可以返回到的每个恢复节点的边来创建过程间支配图。