System and/or method for computing interprocedural dominators

A system for computing an interprocedural dominance graph from a plurality of associated functions, the system comprising:

• a first processor;
• and
• a first memory in electrical communication with the processor, the memory having stored thereon:
• a module for providing an interprocedural control flow graph of the plurality of associated functions;
• a module for receiving source code of a software program, the source code having a plurality of functions;
• a module for identifying a plurality of intraprocedural dominator graphs each for another of the plurality of functions;
• a module for combining the plurality of intraprocedural dominator graphs to create an interprocedural dominance graph logically connecting between nodes of the plurality of functions;
• a module for identifying a plurality of interprocedural dominance relations between nodes in different functions of the plurality of functions using the interprocedural dominance graph;
• and
• a module for analyzing the software program according to the plurality of interprocedural dominance relations.

A computer program product for computing an interprocedural dominance graph from a plurality of associated functions, the computer program product comprising:

• one or more computer-readable storage mediums, and program instructions stored on at least one of the one or more storage mediums, the program instructions comprising:
• program instructions for receiving source code of a software program, the source code having a plurality of functions;
• program instructions for identifying a plurality of intraprocedural dominator graphs each for another of the plurality of functions;
• program instructions for combining the plurality of intraprocedural dominator graphs to create an interprocedural dominance graph logically connecting between nodes of the plurality of functions;
• program instructions for identifying a plurality of interprocedural dominance relations between nodes in different functions of the plurality of functions using the interprocedural dominance graph;
• and
• program instructions for analyzing the software program according to the plurality of interprocedural dominance relations.