The present invention provides systems and methods for providing run-time type checking to prevent software errors. In architecture, a representative system includes a compiler that parses a program and further comprises a logic that generates a checksum for a block of code in the program, a logic that stores the checksum in the block of code, and a logic that inserts checksum instruction code into the block of code. The present invention can also be viewed as a method for providing run-time type checking to prevent software errors. A representative method operates by generating a checksum for a block of code in the program, and storing the checksum in the block of code. During execution of the program, a run-time checksum is generated for the block of code, and the block of code is executed if the checksum equals the run-time checksum, and the execution of the block of code is skipped if the checksum does not equals the run-time checksum.
A method and system are provided for detecting invalid function calls between segments during the generation of a computer program. A source file and a fixup source file are created for a program file. The source file defines segments in the program file. The fixup source file defines the segments defined in the source file to be a predetermined size. Next, the program file, the source file, and the fixup source file are assembled to create a program object, a source object, and a fixup object. A source library and a fixup library are created from the source object and the fixup object. The program object is linked with the fixup library to generate a dummy output file. During the generation of the dummy output file, a determination is made as to whether an invalid function call is made between the plurality of segments defined in the fixup library. If it is determined that an invalid function call is made between the segments defined in the fixup library, then an error is reported in the dummy output file. If it is determined that no invalid function calls are made between the segments in the dummy output file, then the dummy output file is ignored and the source library is linked with the program file to generate an actual output file.
