Patents by Inventor Daniel Mark Hursh

Daniel Mark Hursh has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Verification for computer programs that include external call references
    Patent number: 8490184
    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.
    Type: Grant
    Filed: April 26, 2007
    Date of Patent: July 16, 2013
    Assignee: International Business Machines Corporation
    Inventors: Michael Brinker, Rick Dale Hemmer, Daniel Mark Hursh, Jeffrey Mark Uehling
  • Verification for Computer Programs that Include External Call References
    Publication number: 20080271140
    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.
    Type: Application
    Filed: April 26, 2007
    Publication date: October 30, 2008
    Inventors: Michael Brinker, Rick Dale Hemmer, Daniel Mark Hursh, Jeffrey Mark Uehling