Static analysis of computer code to determine impact of change to a code component upon a dependent code component

An article of manufacture that includes a computer readable storage device that stores code to configure a computer to implement a method to evaluate impact of a change in code of a depended upon component of a system stored in a computer readable storage device, upon a dependent component of the system, comprising:

• providing in a computer readable storage device a first property evaluation summary structure that associates multiple respective property evaluations with a first version of a first component of the system;
• providing in a computer readable storage device a second property evaluation summary structure that associates multiple respective property evaluations with a second version of the first component of the system;
• and
• comparing, by a processor, respective property evaluations within the first property evaluation summary structure with corresponding property evaluations within the second property evaluation summary structure.

A static analysis tool for analyzing impact, upon unchanged dependent components within a system, of a change to a depended upon component within the system, the tool including an article of manufacture that includes a computer readable storage device that stores code comprising:

• one or more modules to configure the computer system to implement a method that includes act of:
• generating a first property evaluation summary structure that associates multiple respective property evaluations with a first component within a first version of the system;
• generating a second property evaluation summary structure that associates multiple respective property evaluations with the first component within a second version of the system;
• generating a third property evaluation summary structure that associates multiple respective property evaluations with a second component within the first version of the system;
• generating a fourth property evaluation summary structure that associates multiple respective property evaluations with the second component within the second version of the system;
• wherein each of the first, second, third and fourth property evaluation is stored in a computer readable storage device;
• one or more modules to configure the computer system to perform a method that includes acts of:
• detecting whether a first mismatch exists between a respective property evaluation within the first property evaluation summary structure and a corresponding property evaluation within the second property evaluation summary structure;
• and
• detecting whether a corresponding second mismatch exists between a respective corresponding property evaluation within the third property evaluation summary structure and a corresponding property evaluation within the fourth property evaluation summary structure.

A static analysis tool for analyzing impact, upon unchanged dependent components within a system, of a change to a depended upon component within the system, the tool including an article of manufacture that includes a computer readable storage device that stores code comprising:

• parsing and evaluating components of a first version of the system to produce first property evaluations for the components of the first version of the system, in an ascending order according to dependency relationships among the components, from one or more depended upon components to one or more dependent components;
• parsing and evaluating components of a second version of the system to produce second property evaluations for the components of the second version of the system, in an ascending order according to dependency relationships among the components, from one or more depended upon components to one or more dependent components;
• storing the produced property evaluations for the components of the first version of the system in first property evaluation structures within a non-transitory computer readable storage device;
• and
• storing the produced property evaluations for the components of the second version of the system in second property evaluation structures within a non-transitory computer readable storage device.

A static analysis tool for analyzing impact, upon unchanged dependent components within a system, of a change to a depended upon component within the system, the tool including an article of manufacture that includes a computer readable storage device that stores code comprising:

• scanning code of components of a first version of a system to determine dependency relationships among the code components within the first version of the system;
• parsing and evaluating code components, in order according to the determined dependency relationships within the first version of the system, to produce first property evaluations corresponding to the components;
• storing the produced property evaluations for the components of the first version of the system in property evaluation structures within a non-transitory computer readable storage device;
• scanning code of components of a second version of the system to determine dependency relationships among the code components within the second version of the system;
• parsing and evaluating code components, in order according to the determined dependency relationships within the second version of the system, to produce second property evaluations corresponding to the components;
• storing the produced property evaluations for the components of the second version of the system in property evaluation structures within a non-transitory computer readable storage device.