AUTOMATIC INSPECTION OF COMPILED CODE
First Claim
Patent Images
1. An article of manufacture comprising:
- at least one computer usable medium having computer readable program code logic to verify compiled code of a processing environment, said computer readable program code logic when executing performing the following;
compiling code using one version of a compiler to provide one compiled code, wherein the code is written in a programming language in which a complete run-time environment for that programming language is unavailable for verifying the compiled code;
compiling the code using another version of the compiler to provide another compiled code;
applying the one compiled code to machine state to obtain one result and the another compiled code to the machine state to obtain another result; and
automatically comparing the one result and the another result to determine whether the another version of the compiler is accurate.
1 Assignment
0 Petitions
Accused Products
Abstract
Automatic inspection of compiled code. In response to revising a compiler, the functionality of that compiler is verified. Specific code is compiled using a first version of the compiler, as well as a second version of the compiler. Each compiled code is then applied to machine state to obtain multiple machine states. The machine states are then compared to determine if they are equal.
18 Citations
20 Claims
-
1. An article of manufacture comprising:
at least one computer usable medium having computer readable program code logic to verify compiled code of a processing environment, said computer readable program code logic when executing performing the following; compiling code using one version of a compiler to provide one compiled code, wherein the code is written in a programming language in which a complete run-time environment for that programming language is unavailable for verifying the compiled code; compiling the code using another version of the compiler to provide another compiled code; applying the one compiled code to machine state to obtain one result and the another compiled code to the machine state to obtain another result; and automatically comparing the one result and the another result to determine whether the another version of the compiler is accurate. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
9. A method of verifying compiled code of a processing environment, said method comprising:
-
compiling code using one version of a compiler to provide one compiled code, wherein the code is written in a programming language in which a complete run-time environment for that programming language is unavailable for verifying the compiled code; compiling the code using another version of the compiler to provide another compiled code; applying the one compiled code to machine state to obtain one result and the another compiled code to the machine state to obtain another result; and automatically comparing the one result and the another result to determine whether the another version of the compiler is accurate. - View Dependent Claims (10, 11, 12, 13, 14, 15, 16)
-
-
17. A system of verifying compiled code of a processing environment, said system comprising:
-
one version of a compiler to compile code to provide one compiled code, wherein the code is written in a programming language in which a complete run-time environment for that programming language is unavailable for verifying the compiled code; another version of the compiler to compile the code to provide another compiled code; a processing unit to apply the one compiled code to machine state to obtain one result and to apply the another compiled code to the machine state to obtain another result; and the processing unit to automatically compare the one result and the another result to determine whether the another version of the compiler is accurate. - View Dependent Claims (18, 19, 20)
-
Specification