Selective loading of code elements for code analysis

• US 9,710,355 B2
• Filed: 01/14/2010
• Issued: 07/18/2017
• Est. Priority Date: 01/14/2010
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Inventors: King, Todd L., Bartolomeo, David
• Primary Examiner(s): Bullock, Jr., Lewis A
• Assistant Examiner(s): Gooray, Mark
• Application Number:
  US12/687,154
• Publication Number:
  US 20110173594A1
• Time in Patent Office: 2,742 Days
• Field of Search: None
• CPC Class Codes: G06F 11/36 Preventing errors by testing or debugging software
• CPC Class Codes: G06F 11/3604 Software analysis for verifying properties of programs byte-code verification G06F9/44589

Abstract

Systems and methods are described herein for selectively loading code elements included in a plurality of software entities comprising a target software entity and one or more reference software entities to facilitate analysis of the target software entity by a code analysis tool, such as a static code analysis tool. In one embodiment, all of the code elements in the target software entity are loaded while only those code elements included in the reference software entities that are determined to be most important from a dependency standpoint are loaded. The loaded code elements may be used to obtain suitable definitions of the code elements included in the target software entity for the purpose of code analysis.

Claims

1. A computer-implemented method for loading into a system memory code elements included in a plurality of software entities stored on one or more non-volatile storage devices, the plurality of software entities comprising a target software entity and one or more reference software entities, a portion of the code elements being loaded into the system memory for analysis of the target software entity by a code analysis tool, the method comprising:

assigning, automatically, a first subset of the code elements to a first group based on a dependency analysis, the first subset of the code elements including each code element of the target software entity and each code element of the one or more reference software entities that have at most a first number of dependency links from the target software entity as indicated by the dependency analysis;

assigning, automatically, a second subset of the code elements to a second group, the second subset including each code element of the one or more reference software entities that have a second number of dependency links, that is one more than the first number of dependency links, from the target software entity as indicated in the dependency analysis, the first subset being mutually exclusive of the second subset;

loading, automatically, only the code elements assigned to the first group into the system memory for analysis of the target software entity by the code analysis tool, loading a code element comprising accessing the software entity in which the code element is included;

creating a named placeholder, for each code element in the second subset of code elements, in place of each code element in the second subset of code elements; and

performing the analysis of the target software entity on the loaded code elements of the first subset of code elements and the named placeholder for each code element in the second subset of code elements, and without using the second subset of code elements.

2. The method of claim 1, wherein the code elements comprise one or more of a type, method, property, field, event and attribute.

3. The method of claim 1, wherein the first group comprises a first ring and a second ring, and the first number of dependency links is 1, and wherein assigning the first subset of the code elements to the first group comprises:

assigning to the first ring all of the code elements included in the target software entity; and

assigning to the second ring any code element included in the one or more reference software entities upon which a code element included in the target software entity directly depends.

4. The method of claim 3, wherein assigning to the second ring any code element included in the one or more reference software entities upon which a code element included in the target software entity directly depends comprises:

reading metadata of the target software entity to identify code elements included in the one or more reference software entities upon which a code element included in the target software entity directly depends.

5. The method of claim 3,

wherein the second group comprises a third ring, and the second number of dependency links is 2,

wherein assigning the second subset of the code elements to the second group comprises assigning to the third ring any code element included in the one or more reference software entities that have not been assigned to the second ring and upon which a code element assigned to the second ring directly depends, and

wherein the method further comprises creating the named placeholder for each code element that is assigned to the third ring.

6. The method of claim 5, wherein assigning to the third ring any code element included in the one or more reference software entities upon which a code element assigned to the second ring directly depends comprises:

reading metadata of the one or more reference software entities to identify code elements included in the one or more reference software entities upon which a code element assigned to the second ring directly depends.

7. The method of claim 5, further comprising:

not loading any code elements in the plurality of code elements that have not been assigned to the first group and the second group; and

not creating a named placeholder for any code elements in the plurality of code elements that have not been assigned to the first group and the second group.

8. A system comprising:

a processing unit;

a system memory; and

at least one non-volatile storage device that stores software modules to be executed by the processing unit, the software modules including a code analysis tool that comprises a code element loader that loads into the system memory a portion of code elements included in a plurality of software entities stored in the at least one non-volatile storage device and comprising a target software entity and one or more reference software entities and a static code analyzer that performs a code analysis on the target software entity based on the loaded code elements;

the code element loader being configured to;

automatically assign a first subset of the code elements to a first group based on a dependency analysis, the first subset of the code elements including each code element of the target software entity and each code element of the one or more reference software entities that have at most a first number of dependency links from the target software entity as indicated by the dependency analysis;

automatically assign a second subset of the code elements to a second group, the second subset including each code element of the one or more reference software entities that have a second number of dependency links, that is one more than the first number of dependency links, from the target software entity as indicated in the dependency analysis, the first subset being mutually exclusive of the second subset;

automatically load into the system memory only the code elements assigned to the first group, and load a code element by accessing the software entity in which the code element is included; and

create a named placeholder, for each code element in the second subset of code elements, in place of each code element in the second subset of code elements; and

the static code analyzer being configured to perform the code analysis of the target software entity on the loaded code elements of the first subset of code elements and the named placeholder for each code element in the second subset of code elements, and without using the second subset of code elements.

9. The system of claim 8, wherein the code elements comprise one or more of a type, method, property, field, event and attribute.

10. The system of claim 8, wherein the first group comprises a first ring and a second ring, and the first number of dependency links is 1, and wherein the code element loader is configured to assign to the first ring all of the code elements included in the target software entity and to assign to the second ring any code element included in the one or more reference software entities upon which a code element included in the target software entity directly depends.

11. The system of claim 10, wherein the code element loader is configured to read metadata of the target software entity to identify code elements included in the one or more reference software entities upon which a code element included in the target software entity directly depends.

12. The system of claim 10, wherein the second group comprises a third ring, and the second number of dependency links is 2, and wherein the code element loader is configured to assign to the third ring any code element included in the one or more reference software entities that have not been assigned to the second ring and upon which a code element assigned to the second ring directly depends, and to create a named placeholder for each code element in assigned to the third ring.

13. The system of claim 12, wherein the code element loader is configured to read metadata of the one or more reference software entities to identify code elements included in the one or more reference software entities upon which a code element assigned to the second ring directly depends.

14. The system of claim 12, wherein the code element loader is configured to not load any code elements in the plurality of code elements that have not been assigned to the first group and the second group and to not create a named placeholder for any code elements in the plurality of code elements that have not been assigned to the first group and the second group.

15. A computer-implemented method for loading into a system memory code elements included in a plurality of software entities stored on one or more non-volatile storage devices, the plurality of software entities including a target software entity and one or more reference software entities, a portion of the code elements being loaded into the system memory for analysis of the target software entity by a code analysis module, the method comprising:

loading into the system memory all of the code elements included in the target software entity, loading a code element comprising reading the software entity that includes the code element;

selectively loading into the system memory only a subset of the code elements included in the one or more reference software entities, the subset being mutually exclusive of the code elements included in the target software entity, for analysis of the target software entity by the code analysis module, the determination of whether a code element included in a reference software entity is loaded being based on the code element included in the reference software entity having less than a first number of dependency links n from a code element included in the target software entity;

creating a named placeholder, for each code element included in the one or more reference software entities having a second number of dependency links n+1 that is one more than the first number of dependency links n and that is not in the subset of code elements, in place of each code element included in the one or more reference software entities having the second number of dependency links n+1 and that is not in the subset of code elements; and

performing the analysis of the target software entity on the loaded subset of the code elements included in the one or more reference software entities and the named placeholder for each code element included in the one or more reference software entities that is not in the subset of code elements, and without using unloaded code elements included in the one or more reference software entities.

16. The method of claim 15, wherein selectively loading only the subset of the code elements included in the one or more reference software entities comprises:

determining a smallest number of dependency links between a code element included in the target software entity and a code element included in the one or more reference software entities; and

loading the code element included in the one or more reference software entities if the smallest number of dependency links is less than n, wherein n is an integer greater than 1.

17. The method of claim 16, wherein n equals 2.

18. The method of claim 16, further comprising:

creating a named placeholder for the code element included in the one or more reference software entities if the smallest number of dependency links is equal to n.

19. The method of claim 15, wherein the code elements comprise one or more of a type, method, property, field, event and attribute.

20. The method of claim 18, further comprising:

not creating a named placeholder for the code element included in the one or more reference software entities if the smallest number of dependency links is greater than n.