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

摘要

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

主权项

1.一种针对在软件程序的多个函数之间的支配关系而分析所述软件程序的代码的计算机化的方法，所述方法包括：接收软件程序的源代码，所述源代码具有多个函数；标识各自用于所述多个函数中的另一函数的多个过程内支配者图；组合所述多个过程内支配者图以创建具有在所述多个函数的节点之间逻辑地连接的边的过程间支配图；使用所述过程间支配图来标识在所述多个函数中的不同函数中的节点之间的多个过程间支配关系；以及根据所述多个过程间支配关系分析所述软件程序，所述方法还包括：标识所述过程内支配者图中的一个或者多个过程间支配候选；针对所述过程间支配候选中的每个过程间支配候选来计算过程间支配者集合；并且其中组合包括通过在所述一个或者多个过程间支配候选与来自所述过程间支配者集合的一个或者多个支配者之间逻辑地添加过程间边，来计算所述过程间支配图。