SYSTEM AND METHOD FOR ANALYZING DEPENDENCIES IN A COMPUTER PROGRAM

摘要

A method of analyzing the inter-dependencies of elements in a computer program is provided which allows statically and dynamically bound elements to be represented in a graph representation representing the relationship of the elements to each other. The method provides for techniques for resolving statically determinate dependencies and techniques for statically determing dynamic dependencies. Analysis of the graph representation provides a list of dynamic runtime dependencies present in the program. Further analysis on the graph representation provides information on transitive closure of sets of elements of the program. This is accomplished by propagating signals through the graph representation and analyzing the subsequent result in the graph representation.