Boots – shoes – and leggings
Patent
1994-03-09
1996-12-10
Beausoliel, Jr., Robert W.
Boots, shoes, and leggings
39518314, 36426791, G06F 1100
Patent
active
055839886
ABSTRACT:
A method and apparatus for performing runtime checking during program execution in a compiled environment using the full ANSI-C programming language. The present invention detects a number of errors during runtime that cannot be found by a compiler at the precise moment that a respective C language restriction is violated. The present invention also provides the user with a direct indication of the problem, thus saving debugging time. The runtime checking features of the present invention further detects when a user is using library functions improperly. When C source code is compiled, the present invention allocates special data structures for every pointer, array and structure object in the program. An association is made between each of these objects, and its special data structure in the compiler symbol table. At runtime, these data structures contain status information about their associated objects. The present invention also inserts special machine language instructions for C expressions during compilation that either modify values in the special data structures or call internal runtime checking functions according to the present invention that use the information in the respective data structures to determine whether an expression is illegal and report errors if necessary. The runtime checking features of the present invention include a method for specifying precise restrictions on the arguments that may be passed to library functions. These restrictions are used to determine whether arguments to library functions conform to their respective restrictions and reports any violations to the user at runtime, indicating which argument caused the error and which restriction was violated.
REFERENCES:
patent: 4775932 (1988-10-01), Oxley et al.
patent: 5193180 (1993-03-01), Hastings
patent: 5274811 (1993-12-01), Borg et al.
patent: 5335344 (1994-08-01), Hastings
Long, Fuchs & Abraham, Compiler-Assisted Static Checkpoint Insertion, 1992 Int'l Fault-Tolerant Computing Symposium, at 58.
Nicollin, Sifakis & Yovine, Compiling Real-Time Specifications into Extended Automata, IEEE Transactions on Software Engineering, Sep. 1992, at 794.
Kessler, Fast Breakpoint Design and Implementation, Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, at 78.
LabWindows User Manual Version 2.3, Apr. 1994 Edition, Part Number 320312-01, National Instruments Corporation, pp. 1-1-16-16.
Object Trace product sheet; received for Object Software Inc. on Mar. 2, 1994.
Insight 1.1 product literature; dated Mar. 1994.
Bellin Jon
Crank Erik
Beausoliel, Jr. Robert W.
Hood Jeffrey C.
National Instruments Corporation
Wright Norman M.
LandOfFree
Method and apparatus for providing runtime checking features in does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for providing runtime checking features in , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for providing runtime checking features in will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-431489