Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2006-01-10
2006-01-10
Khatri, Anil (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S128000, C717S140000, C716S030000
Reexamination Certificate
active
06986126
ABSTRACT:
One embodiment of the present invention provides a system that detects violations of type rules in a computer program. The system operates by locating a type casting operation within the computer program, wherein the type casting operation involves a first pointer and a second pointer. The system then checks the type casting operation for a violation of a type rule. If a violation is detected, the system indicates the violation. In one embodiment of the present invention, if the first pointer is defined to be a structure pointer and the second pointer is not defined to be a structure pointer, the system indicates a violation of a type rule. In one embodiment of the present invention, if the first pointer is defined to point to a first structure type and the second pointer is defined to point to a second structure type, the system determines whether the first structure type and the second structure type belong to the same alias group. If not, the system generates an error to indicate a type violation.
REFERENCES:
patent: 5293629 (1994-03-01), Conley et al.
patent: 5583988 (1996-12-01), Crank et al.
patent: 5740440 (1998-04-01), West
patent: 5875334 (1999-02-01), Chow et al.
patent: 5937187 (1999-08-01), Kosche et al.
patent: 6029144 (2000-02-01), Barrett et al.
patent: 6149318 (2000-11-01), Chase et al.
patent: 6314439 (2001-11-01), Bates et al.
patent: 6341366 (2002-01-01), Wang et al.
patent: 6353925 (2002-03-01), Stata et al.
patent: 6427235 (2002-07-01), Kosche et al.
patent: 6463470 (2002-10-01), Mohaban et al.
patent: 6631518 (2003-10-01), Bortnikov et al.
patent: 6651244 (2003-11-01), Smith et al.
patent: 6658398 (2003-12-01), Bertrand et al.
patent: 6718542 (2004-04-01), Kosche et al.
patent: 6745383 (2004-06-01), Agarwal et al.
Bacon et al., “Fast static analysis of C++ virtual function calls”, ACM SIGPLAN Notices, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, vol. 31 Issue 10, Oct. 1996.
Diwan et al., “Type-based alias analysis”, ACM SIGPLAN Notices , Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, vol. 33 Issue 5, May 1998.
Altucher et al., “An extended form of must alias analysis for dynamic allocation”, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Jan. 1995.
Flanagan et al, “Type based race detection for Java”, ACM PLDI, pp 219-232, 2000.
Austin et al., “Efficient detection of all pointer and array access errors”, ACM SIGPLAN, pp 290-301, Jun. 1994.
Necula et al., “CCured: Type safe retrofitting of leagacy code”, ACM POPL, pp 128-139, Jan. 2002.
Siff et al, “Coping with type casts in C”, ACM SIGSOFT, International Symp. of Foundation of SW Engineering, vol. 24, issue, 6, pp 180-198, 1999.
“C User's Guide Supplement for the Forte Developer 6 update 1 (Sun WorkShop 6 update 1)”, Sun Microsystems, Inc., Part No. 806-6145-10, Oct. 2000, Revision A, XP-002242198.
Kosche Nicolai
Pagan David D.
Walls Douglas E.
Khatri Anil
Park Vaughan & Fleming LLP
LandOfFree
Method and apparatus for detecting violations of type rules... 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 detecting violations of type rules..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for detecting violations of type rules... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3526528