System And Method for Stack Crawl Testing and Caching

• US 20090248721A1
• Filed: 03/25/2008
• Published: 10/01/2009
• Est. Priority Date: 03/25/2008
• Status: Active Grant

• Current Assignee: Wind River Systems Incorporated (Aptiv PLC)
• Original Assignee: Wind River Systems Incorporated (Aptiv PLC)
• Inventors: Stanek, Mitch, Andersen, Peder, Burton, Felix
• Granted Patent: US 9,274,923 B2
• Time in Patent Office: Days
• US Class Current: 1/1
• CPC Class Codes: G06F 11/3604 Software analysis for verifying properties of programs byte-code verification G06F9/44589

Abstract

A method for extracting static information from user code, analyzing the static information to determine location expressions for program information and comparing the location expressions to reference location expressions of the user code. In addition, a system having a reading module configured to read and extract static information from user code, an analyzing module configured to analyze the static information to determine location expressions for program information and a comparison module configured to compare the location expressions to reference location expressions of the user code.

Claims

1. A method, comprising:

extracting static information from user code;

analyzing the static information to determine location expressions for program information; and

comparing the location expressions to reference location expressions of the user code.

2. The method of claim 1, wherein the static information includes one of program instructions and starting addresses.

3. The method of claim 1, wherein the program information includes one of return addresses and stack pointers.

4. The method of claim 1, wherein the location expression includes a determination of one of a register value plus a corresponding offset, a constant value and an unknown value.

5. The method of claim 1, wherein the reference location expressions include one of location expressions of a previous analysis and calculated location expressions based on the user code.

6. The method of claim 5, wherein the calculated location expressions are calculated based on one of a compiling of the user code and debug information of the user code.

7. The method of claim 1, wherein the extracting and analyzing are performed when the user code is not executing.

8. The method of claim 1, wherein the extracting and analyzing are performed for the entirety of the user code.

9. The method of claim 1, further comprising:

providing results of the comparison to a user.

10. The method of claim 1, further comprising:

storing the location expressions.

11. A system, comprising:

a reading module configured to read and extract static information from user code;

an analyzing module configured to analyze the static information to determine location expressions for program information; and

a comparison module configured to compare the location expressions to reference location expressions of the user code.

12. The system of claim 11, wherein the static information includes one of program instructions and starting addresses.

13. The system of claim 11, wherein the program information includes one of return addresses and stack pointers.

14. The system of claim 11, wherein the location expression includes a determination of one of a register value plus a corresponding offset, a constant value and an unknown value.

15. The system of claim 11, wherein the reference location expressions include one of location expressions of a previous analysis and calculated location expressions based on the user code.

16. The system of claim 15, wherein the calculated location expressions are calculated based on one of a compiling of the user code and debug information of the user code.

17. The system of claim 11, wherein the reading module and the analyzing module operate on the user code when the user code is not executing.

18. The system of claim 11, further comprising:

a results module configured to provide results of the comparison to a user.

19. The system of claim 11, further comprising:

a storage module configured to store the location expressions.

20. A system comprising a memory storing a set of instructions and a processor configured to execute the instructions, the set of instruction being operable to:

extract static information from user code;

analyze the static information to determine location expressions for program information; and

compare the location expressions to reference location expressions of the user code.