Link-time and run-time error detection, and program instrumentat

Details Link-time and run-time error detection, and program instrumentat Link-time and run-time error detection, and program instrumentat

1997-04-15

2000-11-21

Hafiz, Tariq R.

395708, G06F 945

Patent

active

06149318&

ABSTRACT:
A programming language processor performs link-time and run-time error checking of a program written in C, C++, or a combination of both. The link-time error checking diagnoses violations of the C++ One Definition Rule, and its equivalent in C. As the program runs, the run-time error checking examines accesses to computer memory to determine that the addresses accessed contain values of che type expected by the program. To add instrumentation to a C or C++ program, pre-expressions, post-expressions and clone-expressions are used to annotate an abstract syntax tree, the annotated tree is then canonicalized into a more traditional syntax tree before a back-end generates code for the program.

REFERENCES:
patent: 4355391 (1982-10-01), Alsop, IV
patent: 5535329 (1996-07-01), Hastings
patent: 5581696 (1996-12-01), Kolawa et al.
patent: 5613063 (1997-03-01), Eustace et al.
patent: 5737629 (1998-04-01), Zuraski, Jr. et al.
patent: 5822589 (1998-10-01), Diamant et al.
patent: 6035426 (2000-03-01), Applegate
Lindholm-Yellin, Verification of class Files, The Java Virtual Machine Specification, Addison-Wesley. Sep. 1996.
"OBJECTSTORE Database for the Web, Objectstore 5.0 with Integrated Support for JAVA", Mar. 27, 1997.
AIX XCOFF File Format, Chapter 1. XCOFF:COFF Extended Object File Format; 1.4.3 Typchk Section; pp. 1-26 & 1-27.
SRC Modula-3 Home Page; pp. 1-2.
"Sharing Between Translation Units in C++ Program Databases", S. Kendall et al; USENIX ASSOCIATION; C++ Technical Conference, 1994.
"The Vesta Repository: A File System Extension for Software Development"; Sheng-Yang Chiu et al.; Jun. 14, 1993; Systems Research Center, CA., vol. 106.
"Bridges: Tools to Extend the Vesta Configuration Management System"; Mark R. Brown et al; Jun. 14, 1993; Systems Research Center, CA. vol. 108.
"Network Objects"; Andrew Birrell et al.; Feb. 28, 1994; Systems Research Center, CA, vol. 115.
"Unix Time-Sharing System: Portability of C Programs and the UNIX System"; S.C. Johnson et al., Dec. 5, 1977; pp. 2021-2048.
"American National Standard for Information Systems -Programming Language C"; Feb. 14, 1990; section 3.1.2.6;
"Id -link editor for objects files"; Sun Microsystems' Solaris 2.0: Option "-t". pp. 1-4, 1.
"Type-safe Linkage for C++"; Bjarne Stroustrup AT&T Bell Laboratories; Computing Systems vol. 14, No. 4, Fall 1988; pp. 371-403.
Working Paper for Draft Proposed International Standard for Information Systems -Programming Language C++; Section 3.2 (One Definition Rule).
ObjectCenter, Reference Manual; vol. 2; 1986-1993, CenterLine Software, Inc .

Affiliated with

Also associated with

Rating

Link-time and run-time error detection, and program instrumentat does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Link-time and run-time error detection, and program instrumentat, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Link-time and run-time error detection, and program instrumentat will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1251261