Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2004-05-04
2010-11-16
Bullock, Jr., Lewis A (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S150000, C717S139000, C717S146000, C717S148000
Reexamination Certificate
active
07836434
ABSTRACT:
Methods, systems, and articles of manufacture consistent with the present invention provide an improved technique for analyzing statements that use pointer or array syntax to access dynamically-allocated arrays to determine whether the statement generates a reference that is outside the bounds of the array's allocated memory. Statements that use pointer or array syntax to access dynamically-allocated arrays can be either statically (at compile-time) or dynamically bounds (at run-time) checked. Methods and systems in accordance with the present invention determine at compile-time if an array reference can be determined to always be in bounds or definitely out of bounds at least once, and if not, insert code into the program to check the array bounds dynamically at run-time before the access of the array reference.
REFERENCES:
patent: 5175856 (1992-12-01), Van Dyke et al.
patent: 5481708 (1996-01-01), Kukol
patent: 5535391 (1996-07-01), Hejlsberg et al.
patent: 5586325 (1996-12-01), MacDonald et al.
patent: 5603030 (1997-02-01), Gray et al.
patent: 6014723 (2000-01-01), Tremblay et al.
patent: 6078745 (2000-06-01), De Greef et al.
patent: 6154877 (2000-11-01), Ramkumar et al.
patent: 6161219 (2000-12-01), Ramkumar et al.
patent: 6343375 (2002-01-01), Gupta et al.
patent: 6457023 (2002-09-01), Pinter et al.
patent: 6467075 (2002-10-01), Sato et al.
patent: 6507947 (2003-01-01), Schreiber et al.
patent: 6971091 (2005-11-01), Arnold et al.
patent: 7010783 (2006-03-01), de Jong
patent: 7058929 (2006-06-01), Charnell et al.
patent: 7062761 (2006-06-01), Slavin et al.
patent: 7114034 (2006-09-01), Hu et al.
patent: 7127559 (2006-10-01), Hu et al.
Optimization of Array Subscript Range Checks, J. M. Asuru, ACM, vol. 1, No. 2, Jun. 1992, pp. 109-118.
A Reexamination of Optimization of Array Subscript Range Checks, Wei-Ngan Chin et al, 1995, ACM, pp. 217-227.
Borland, C++ 3.0, 1991, p. 161.
Austin et al; “Efficient Detection of All Pointer and Array Access Errors;” Computer Science Department, University of Wisconson-madison; pp. 298-301.
Bullock, Jr. Lewis A
Lembke Kent A.
Marsh & Fischmann & Breyfogle LLP
Oracle America Inc.
Szumny Jonathon A.
LandOfFree
Method and system for analyzing array access to a pointer... 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 system for analyzing array access to a pointer..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for analyzing array access to a pointer... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4214885