发明名称 |
SYSTEM AND/OR METHOD FOR COMPUTING INTERPROCEDURAL DOMINATORS |
摘要 |
According to an aspect of some embodiments of the present invention there is provided a computerized method of analyzing code of a software program for dominance relationships between a plurality of functions of the software program, the method comprising: receiving source code of a software program, the source code having a plurality of functions; identifying a plurality of intraprocedural dominator graphs each for another of the plurality of functions; combining the plurality of intraprocedural dominator graphs to create an interprocedural dominance graph with edges that logically connect between nodes of the plurality of functions; identifying a plurality of interprocedural dominance relations between nodes in different functions of the plurality of functions using the interprocedural dominance graph; and analyzing the software program according to the plurality of interprocedural dominance relations. |
申请公布号 |
US2015040105(A1) |
申请公布日期 |
2015.02.05 |
申请号 |
US201313955017 |
申请日期 |
2013.07.31 |
申请人 |
International Business Machines Corporation |
发明人 |
Abadi Aharon;Abadi Moria;Bnayahu Jonathan;Feldman Yishai |
分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
1. A computerized method of analyzing code of a software program for dominance relationships between a plurality of functions of the software program, the method comprising:
receiving source code of a software program, the source code having a plurality of functions; identifying a plurality of intraprocedural dominator graphs each for another of the plurality of functions; combining the plurality of intraprocedural dominator graphs to create an interprocedural dominance graph with edges that logically connect between nodes of the plurality of functions; identifying a plurality of interprocedural dominance relations between nodes in different functions of the plurality of functions using the interprocedural dominance graph; and analyzing the software program according to the plurality of interprocedural dominance relations. |
地址 |
Armonk NY US |