Sun Microsystems, Inc.

Douglas E Walls

Nicolai Kosche

Steven Robert Kleiman

Peter Carl Damron

Robert Felice Mori

Keith H Bierman

Kathryn Walker

Charles E Fineman

David D Pagan

Nicholas A Sterling

Sidney J Hummert

Milton E Barber

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.

Method and apparatus for detecting violations of type rules in a computer program

A system that allows a programmer to specify a set of constraints that the programmer has adhered to in writing code so that a compiler is able to assume the set of constraints in disambiguating memory references within the code. The system operates by receiving an identifier for a set of constraints on memory references that the programmer has adhered to in writing the code. The system uses the identifier to select a disambiguation technique from a set of disambiguation techniques. Note that each disambiguation technique is associated with a different set of constraints on memory references. The system uses the selected disambiguation technique to identify memory references within the code that can alias with each other.

Disambiguating memory references based upon user-specified programming constraints

Truck

A message management system produces files necessary for generating messages, localizing message catalogs, and displaying online help messages from a single master message file. Revisions and up-dates of the message system are performed by editing a single file, the master message file. A set of tools is provided to process the master message file to build the outputs.

Method-management system and process based on a single master message

The present invention is a system and method for 'checking the use of synchronization locks in a multi-threaded computer program' (hereinafter 'WARLOCK II'). In Warlock II a set of source code representing a process which includes multiple threads may be annotated by the developer using a 'NOTE' macro to describe the desired operation of the locks. This annotated source code is passed to a modified ANSI C compiler which outputs a special file designated a '.ll' file, as for example, file 'foo.ll'. This special '.ll' file is then processed as input along with other designated '.ll' files which might be related, by a 'wlanalyze' program which will check the source code of the target programs in the '.ll' files to determine whether their use of synchronization locks is consistent with the intended use as specified in the annotations.

System and method for checking the use of synchronization locks in a

Growing community of inventors

Belmont, CA, United States of America

Douglas E Walls