SYSTEM AND/OR METHOD FOR COMPUTING INTERPROCEDURAL DOMINATORS
摘要
According to an aspect of some embodiments 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.
申请公布号
WO2015014184(A1)
申请公布日期
2015.02.05
申请号
WO2014CN80792
申请日期
2014.06.26
申请人
INTERNATIONAL BUSINESS MACHINES CORPORATION;IBM (CHINA) CO., LIMITED