Verification for computer programs that include external call references
US8490184B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 26, 2007 |
| Grant date | Jul 16, 2013 |
| Priority date | — |
| Expiry date | Feb 20, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/51
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A program verification mechanism includes an external call reference verification mechanism that verifies external call references in a computer program. The external call reference verification mechanism checks the computer program after the computer program has been loaded by a loader/linker. The loader/linker stores a list of trusted entry points that specifies a trusted entry point for each external call reference, along with a list of allowable caller code for each trusted entry point. The external call reference verification mechanism determines the entry point for each instruction that is an external call reference, determines whether the entry point is listed as the trusted entry point for the external call reference, and whether the external call reference instruction is in the list of allowable caller code for the trusted entry point. If so, the computer program is verified. If not, verification of the computer program fails.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.