System and method for dynamic data-type checking
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
N/A
Issued Date -
Jul 3, 2003
app pub date -
Dec 28, 2001
filing date -
Dec 28, 2001
priority date (Note) -
Abandoned
status (Latency Note)
Importance
Abstract
A data-type checker dynamically verifies program operation. The data-type checker, while executing a specified computer program, maintains a shadow array that has entries corresponding to respective memory locations used by the specified computer program. Each entry of the shadow array indicates a data type of the corresponding respective memory location. While executing the specified computer program, the data-type checker executes each of a set of instructions of the computer program. For the execution of each instruction in a subset of the set of instructions of the computer program, the data-type checker determines whether execution of the instruction is inconsistent with an entry of the shadow array and, if so, generates a report. The data-type checker then executes the instruction, and updates the shadow array in accordance with execution of the instruction.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully