System and method for providing run-time type checking

Details System and method for providing run-time type checking System and method for providing run-time type checking

2006-02-14

2006-02-14

Beausoliel, Robert (Department: 2113)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C714S052000, C717S126000, C717S127000, C717S141000

Reexamination Certificate

active

07000151

ABSTRACT:
The present invention provides systems and methods for providing run-time type checking to prevent software errors. In architecture, a representative system includes a compiler that parses a program and further comprises a logic that generates a checksum for a block of code in the program, a logic that stores the checksum in the block of code, and a logic that inserts checksum instruction code into the block of code. The present invention can also be viewed as a method for providing run-time type checking to prevent software errors. A representative method operates by generating a checksum for a block of code in the program, and storing the checksum in the block of code. During execution of the program, a run-time checksum is generated for the block of code, and the block of code is executed if the checksum equals the run-time checksum, and the execution of the block of code is skipped if the checksum does not equals the run-time checksum.

REFERENCES:
patent: 5036466 (1991-07-01), Fitzgerald et al.
patent: 6112304 (2000-08-01), Clawson
patent: 6360362 (2002-03-01), Fichtner et al.
patent: 6665813 (2003-12-01), Forsman et al.
patent: 6678837 (2004-01-01), Quach et al.
patent: 6816985 (2004-11-01), Ali-Santosa et al.
patent: 2003/0188231 (2003-10-01), Cronce

Affiliated with

Also associated with

Rating

System and method for providing run-time type checking does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for providing run-time type checking, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for providing run-time type checking will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3662693