发明名称 |
用于计算过程间支配者的系统和/或方法 |
摘要 |
根据一些实施例的一个方面,提供一种针对在软件程序的多个函数之间的支配关系分析软件程序的代码的计算机化的方法,该方法包括:接收软件程序的源代码,源代码具有多个函数;标识各自用于多个函数中的另一函数的多个过程内支配者图;组合多个过程内支配者图以创建具有在多个函数的节点之间逻辑地连接的边的过程间支配图;使用过程间支配图来标识在多个函数中的不同函数中的节点之间的多个过程间支配关系;以及根据多个过程间支配关系分析软件程序。 |
申请公布号 |
CN105431825A |
申请公布日期 |
2016.03.23 |
申请号 |
CN201480043022.4 |
申请日期 |
2014.06.26 |
申请人 |
国际商业机器公司 |
发明人 |
A·阿巴迪;M·阿巴迪;J·布纳亚胡;Y·费尔德曼 |
分类号 |
G06F9/45(2006.01)I |
主分类号 |
G06F9/45(2006.01)I |
代理机构 |
北京市金杜律师事务所 11256 |
代理人 |
酆迅;陈颖 |
主权项 |
一种针对在软件程序的多个函数之间的支配关系而分析所述软件程序的代码的计算机化的方法,所述方法包括:接收软件程序的源代码,所述源代码具有多个函数;标识各自用于所述多个函数中的另一函数的多个过程内支配者图;组合所述多个过程内支配者图以创建具有在所述多个函数的节点之间逻辑地连接的边的过程间支配图;使用所述过程间支配图来标识在所述多个函数中的不同函数中的节点之间的多个过程间支配关系;以及根据所述多个过程间支配关系分析所述软件程序。 |
地址 |
美国纽约阿芒克 |