Verifying intermediate language code
US6851108B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 16, 2000 |
| Grant date | Feb 1, 2005 |
| Priority date | — |
| Expiry date | Nov 29, 2022 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/44589
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A verification module evaluates intermediate language code to verify that the code is type safe before passing the code for execution. Code that is not deemed type safe can cause execution errors, corrupt the runtime environment in which the code is executing, or cause unauthorized access to protected system resources. As such, the verification module protects a computer system from intentional or inadvertent breaches of the computer system's defenses. The verification module verifies the type safety of intermediate language code that supports significant high-level language constructs prohibited by verification modules in the prior art. One exemplary verification module verifies intermediate language code that includes one or more reference-based parameter, such as a pointer (or reference), a value class containing pointers, a RefAny parameter, or a nested pointer.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.