METHODS FOR SUPPLYING CODE ANALYSIS RESULTS BY USING USER LANGUAGE
First Claim
Patent Images
1. A computer-implemented method comprising:
- receiving a code to be analyzed;
running a flow analysis of the received code;
running a backward analysis, whereby the backward analysis returns at least one input statement;
selecting at least one externally-visible input statement from the returned list of input statements;
associating each externally-visible input statement with its appropriate user-language description; and
supplying the at least one user-language description that is associated with the externally-visible input statement.
10 Assignments
0 Petitions
Accused Products
Abstract
Methods comprising the steps of receiving a code to be analyzed; running a flow analysis of the received code; running a backward and/or forward analysis, whereby the analysis returns at least one input statement; selecting at least one externally-visible statement from the returned list of statements; associating each externally-visible statement with its appropriate user-language description; and supplying a user the at least one user-language description that is associated with the externally-visible statement.
-
Citations
25 Claims
-
1. A computer-implemented method comprising:
-
receiving a code to be analyzed; running a flow analysis of the received code; running a backward analysis, whereby the backward analysis returns at least one input statement; selecting at least one externally-visible input statement from the returned list of input statements; associating each externally-visible input statement with its appropriate user-language description; and supplying the at least one user-language description that is associated with the externally-visible input statement. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A computer-implemented method comprising:
-
receiving a code to be analyzed; running a flow analysis of the received code; running a forward analysis, whereby the forward analysis returns at least one output statement; selecting at least one externally-visible output statement from the returned list of output statements; associating each externally-visible output statement with its appropriate user-language description; and supplying the at least one user-language description that is associated with the externally-visible output statement. - View Dependent Claims (10, 11, 12, 13, 14)
-
-
15. A computer-implemented method comprising:
-
receiving a code to be analyzed; running a flow analysis of the received code, wherein the flow analysis is outputting a pointer graph; following the pointer graph and locating at least one relevant externally-visible variable; associating the at least one relevant externally-visible variable with its appropriate user-language description; and supplying the at least one user-language description that is associated with the at least one externally-visible variable. - View Dependent Claims (16, 17, 18, 19, 20)
-
-
21. A computer-implemented method comprising:
-
receiving a flow analysis of a code; running a code analysis, whereby the code analysis returns a list of statements; selecting at least one externally-visible statement from the returned list of statements; receiving a user-language description for each selected externally-visible statement; and supplying the received user-language descriptions. - View Dependent Claims (22, 23, 24, 25)
-
Specification