The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 16, 2013
Filed:
Apr. 26, 2007
Michael Brinker, Rochester, MN (US);
Rick Dale Hemmer, Rochester, MN (US);
Daniel Mark Hursh, Saint Charles, MN (US);
Jeffrey Mark Uehling, Rochester, MN (US);
Michael Brinker, Rochester, MN (US);
Rick Dale Hemmer, Rochester, MN (US);
Daniel Mark Hursh, Saint Charles, MN (US);
Jeffrey Mark Uehling, Rochester, MN (US);
International Business Machines Corporation, Armonk, NY (US);
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.