US 7,398,513 B2 · Method and system of detecting invalid function calls between segments in generating a computer program

Abstract

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.

Claims19

Dependent claims

A method of detecting invalid function calls in a program file, the program file including code for making function calls to a plurality of functions defined in the program file, the method comprising:

creating a source file, the source file defining a plurality of memory segments in the program file, wherein each memory segment in the plurality of memory segments is defined to contain at least one of the functions defined in the program file;
creating a fixup source file, the fixup source file defining the plurality of memory segments defined in the source file to be a predetermined size;
assembling the program file, the source file, and the fixup source file to create a program object, a source object, and a fixup object;
creating a source library and a fixup library from the source object and the fixup object;
linking the program object with the fixup library to generate a dummy output file;
during the generation of the dummy output file, determining whether an invalid function call is made between the plurality of memory segments defined in the fixup library;
and
if it is determined that an invalid function call is made between the plurality of memory segments defined in the fixup library, then reporting an error in the dummy output file.

5 more elements

A system for detecting invalid function calls in a program file, the program file including code for making function calls to a plurality of functions defined in the program file, the system comprising:

an application program module for:
creating a source file, the source file defining a plurality of memory segments in the program file, wherein each memory segment in the plurality of memory segments is defined to contain at least one of the functions defined in the program file;
and
creating a fixup source file, the fixup source file defining the plurality of memory segments defined in the source file to be a predetermined size;
an assembler program module operative to assemble the program file, the source file, and the fixup source file into a program object, a source object, and a fixup source object;
a library program module operative to receive the source file and the fixup source file to generate a source library and a fixup source library;
and
a linker program module operative to:
link the program object and the fixup source library to generate a dummy output file;
during the generation of the dummy output file, to determine whether an invalid function call is made between the plurality of memory segments defined in the fixup library;
and
if it is determined that an invalid function call is being made, then report an error in the dummy output file.

9 more elements

Dependencies are inferred from the claim text.

Method and system of detecting invalid function calls between segments in generating a computer program

Life of this patent

Method and system of detecting invalid function calls between segments in generating a computer program

Life of this patent

Abstract

Claims19