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.
Claims12
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, wherein verifying the intermediate language code for consistency and accuracy comprises performing a syntactic check of the intermediate language code and a semantic check of the intermediate language code comprising checking at least one of byrefs and refany's of the intermediate language code.
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 accuuracy;
- and
- verifying the intermediate language code for consistency and accuracy by performing a syntactic check of the intermediate language code and performing a semantic check of the intermediate language code comprising checking at least one of byrefs and refany's of the intermediate language code.
Dependencies are inferred from the claim text.