Verifier to check intermediate language
AssigneeMicrosoft Corporation
InventorsAndrew Gordon, Donald Syme, Jonathon Forbes, Vance P. Morrison
Life of this patent
Estimating the term…
Abstract
Verification of intermediate language code. In one embodiment, a computer-implemented method first verifies metadata of an intermediate language code for consistency and accuracy, and then verifying the intermediate language code for consistency and accuracy. This latter part in one embodiment is accomplished by performing first a syntactic check of the intermediate language code, and then a semantic check of the intermediate language code.
Claims30
A computer-implemented method comprising:
- verifying metadata of an intermediate language code for consistency and accuracy;
- and,
- verifying the intermediate language code for consistency and accuracy.
A machine-readable medium having processor instructions stored thereon for execution by a processor to perform a method comprising:
- verifying metadata of an intermediate language code for consistency and accuracy;
- and,
- verifying the intermediate language code for consistency and accuracy.
A computerized system comprising:
- an execution engine to translate an intermediate language code to an executable code based thereon for execution;
- and,
- a verifier, part of the execution engine, to verify the intermediate language code and metadata of the intermediate language code prior to translation thereof to executable code.
A computerized device comprising:
- a processor;
- a computer-readable medium;
- an intermediate code stored as data on the medium;
- an executable code based on the intermediate code and stored as data on the medium;
- an execution engine executed by the processor from the medium to translate the intermediate code to the executable code for execution;
- and,
- a verifier, part of the execution engine, to verify the intermediate language code and metadata of the intermediate language code prior to translation thereof to executable code.
A computerized system comprising:
- a first component of an intermediate language code verifier to perform semantic checks on an intermediate-language code, including verifying that branch destinations within the code are proper;
- and,
- a second component of the intermediate language code verifier to perform semantic checks on the intermediate-language code.
Dependencies are inferred from the claim text.