Patent №
US 9,710,244
Granted
2017-07-18
Filed 2015
Owner
INTERNATIONAL BUSINESS MACHINES CORPORATION
Lab
AI components
2
kr · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
14859365
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.
AI classification
Ownership
INTERNATIONAL BUSINESS MACHINES CORPORATION
assignment · 366060564
Assignors
ABADI, AHARON, ABADI, MORIA, BNAYAHU, JONATHAN, FELDMAN, YISHAI
On an employer assignment, the assignors are typically the inventors.