Test protection, and repair through binary-code augmentation

Details Test protection, and repair through binary-code augmentation Test protection, and repair through binary-code augmentation

1997-12-04

1999-10-12

Hafiz, Tariq R.

G06F 945

Patent

active

059665416

ABSTRACT:
A type mismatch problem in computer programs is said to occur when there is a mismatch between the form or classification of a value encountered during program execution and that anticipated by the program. A method for repairing or testing for many type mismatch problems in programs works by transforming a binary representation of the program into a new binary in which the problem is fixed or identified. The fix or identification is implemented by converting code that operates on variables that can suffer a mismatch into code that correctly accounts for or tests for the mismatch. Static or dynamic correlation methods, and/or control and data flow graphs are used to track certain values, to determine where to install patches and how to adjust branch, jump and procedure call references after patch installation has shifted the target references.

REFERENCES:
patent: 4951195 (1990-08-01), Fogg, Jr. et al.
patent: 5241678 (1993-08-01), Futamura et al.
patent: 5428786 (1995-06-01), Sites
patent: 5488714 (1996-01-01), Skidmore
patent: 5546586 (1996-08-01), Wetmore et al.
patent: 5615369 (1997-03-01), Holler
patent: 5675803 (1997-10-01), Preisler et al.
patent: 5732275 (1998-03-01), Kullick et al.
patent: 5764992 (1998-06-01), Kullick et al.
Robert C. Bedichek, "Talisman: Fast and Accurate Multicomputer Simulation," 1995, Laboratory for Computer Science, Massachusetts Institute of Technology.
Robert C. Bedichek, "Some Efficient Architecture Simulation Techniques," Department of Computer Sciences, University of Washington, Usenix Conference, Jan., 1990.
Colin Hunter et al., "DOS at RISC," Byte, Nov., 1989, pp. 361-368.
Anant Agarwal et al., "ATUM: A New Technique for Capturing Address Traces Using Microcode," Proceedings of the 13th Annual Symposium on Computer Architecture, Jun. 1986.
Kazuhito, Patch system, Patent abstracts of Japan (CD-ROM), Unexamined Appliations, vol. 94, No. 11, Nov. 8, 1994.
International Business Machines Corporation, Generic Methodology for Code Patching in Binary File, 802-803, Jun. 1998.

Affiliated with

Also associated with

Rating

Test protection, and repair through binary-code augmentation does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Test protection, and repair through binary-code augmentation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Test protection, and repair through binary-code augmentation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-661132