Object-oriented symbolic debugger using a compiler driven database and state modeling to control program execution

Claim 3

The apparatus of claim 1, wherein said information database comprises at least one instruction map comprising one or more instruction map entries for mapping at least one executable code line to one or more source code line selections.

Claim 4

The apparatus of claim 1, wherein said information database comprises instruction index range information for providing information regarding an range of source code lines associated with a map entry.

Claim 5

The apparatus of claim 1, wherein said information database comprises source reference information for providing information regarding source code lines associated with a map entry.

Claim 6

The apparatus of claim 4, wherein said source reference information comprises information defining source references in terms of portions of source code lines.

Claim 7

The apparatus of claim 1, wherein said information database comprises data optimization annotation for providing information regarding implications of code optimization.

Claim 8

The apparatus of claim 6, wherein said data optimization annotation indicates shared lifetime.

Claim 9

The apparatus of claim 6, wherein said data optimization annotation indicates constraint.

Claim 10

The apparatus of claim 6, wherein said data optimization annotation indicates inline expansion optimization.

Claim 11

The apparatus of claim 1, wherein said information database comprises code optimization annotation for providing information regarding implications of code optimization.

Claim 12

The apparatus of claim 1, wherein said information database comprises attribute information for providing information regarding source position.

Claim 13

The apparatus of claim 11, wherein said informat ion regarding source position comprises function information.

Claim 14

The apparatus of claim 11, wherein said information regarding source position comprises frame construction information.

Claim 15

The apparatus of claim 11, wherein said information regarding source position comprises characteristic location information.

Claim 16

The apparatus of claim 1, wherein the compiler and the linker comprise information providers and wherein the apparatus further comprises an adopt function for asking the database creator to adopt a format of information of an information provider.

Claim 17

The apparatus of claim 1, wherein said information database comprises at least one token map comprising one or more token map entries for mapping a token from token map entry to a source code line selection.

Claim 18

The apparatus of claim 1, wherein said information database comprises at least one source reference for defining a source of a token.

Claim 19

The apparatus of claim 1, wherein said information database comprises at least one kind indicator for defining a kind of a token.

Claim 20

The apparatus of claim 1, wherein said information database comprises at least one data indicator for defining an entry into a type map which defines a type of token.

Claim 21

The apparatus of claim 1, wherein said information database comprises at least one data indicator for defining an entry into a data map entry associated with a token.

Claim 22

The apparatus of claim 1, wherein said information database comprises at least one statement map comprising one or more statement map entries for mapping source code lines to a hierarchy of semantic statement elements.

Claim 23

The apparatus of claim 1, wherein said information database comprises at least one source reference for defining a source of a statement element.

Claim 24

The apparatus of claim 1, wherein said information database comprises at least one kind indicator for defining a kind of a statement element.

Claim 25

The apparatus of claim 1, wherein said information database comprises at least one parent indicator for defining a parent of a statement element.

Claim 26

The apparatus of claim 1, wherein said information database comprises at least one breakpoint indicator for defining one or more breakpoints related to a statement element.

Claim 27

The apparatus of claim 1, wherein said information database comprises at least one data map comprising data map entries for mapping data variable locations to one or more source code lines.

Claim 28

The apparatus of claim 1, wherein said information database comprises at least one variable indicator for defining a variable in one of the source code lines.

Claim 29

The apparatus of claim 1, wherein said information database comprises at least one source reference for defining a source of a data object defined by an associated map entry.

Claim 30

The apparatus of claim 28, wherein said source reference comprises at least one range of characters.

Claim 31

Th e apparatus of claim 28, wherein said source reference comprises at least one set of character ranges.

Claim 32

The apparatus of claim 28, wherein said source reference comprises at least one reference to a token in a token map.

Claim 33

The apparatus of claim 28, wherein said source reference comprises at least one set of tokens.

Claim 34

The apparatus of claim 28, wherein said source reference comprises at least one range of entries in a token map.

Claim 35

The apparatus of claim 1, wherein said information database comprises at least one live location reference for defining a formula which, when used in a context of an executing program, specifies a data location of a data object defined by an associated map entry.

Claim 36

The apparatus of claim 34, wherein said live location reference comprises an absolute address.

Claim 37

The apparatus of claim 34, wherein said live location reference comprises a program component reference.

Claim 38

The apparatus of claim 34, wherein said live location reference comprises a register reference.

Claim 39

The apparatus of claim 1, wherein said information database comprises at least one accessing formula defining a value at an address associated with a map entry.

Claim 40

The apparatus of claim 38, wherein said accessing formula comprises at least one read accessing formula for defining how to read a value associated with a map entry.

Claim 41

The apparatus of claim 38, wherein said accessing formula comprises at least one write accessing formula for defining how to create a value associated with a map entry.

Claim 42

The apparatus of claim 38, wherein said accessing formula comprises information defining a value at an address.

Claim 43

The apparatus of claim 38, wherein said accessing formula comprises information defining a variable embedded in value at location specified.

Claim 44

The apparatus of claim 38, wherein said accessing formula comprises information defining an operator applied to left and right access formula to create new access formula.

Claim 45

The apparatus of claim 38, wherein said accessing formula comprises information defining an operator applied to access formula to create new access formula.

Claim 46

The apparatus of claim 38, wherein said accessing formula comprises information defining an address of a unary operator which is applied to access formula to derive a value which is a variable.

Claim 47

The apparatus of claim 38, wherein said accessing formula is implied by either a token map entry or an address of a variable.

Claim 48

The apparatus of claim 38, wherein said accessing formula comprises a reference to a self-defining literal value.

Claim 49

The apparatus of claim 42, wherein said accessing formula comprises a reference to a value directly located at an address.

Claim 50

The apparatus of claim 42, wherein said accessing formula comprises a formula describing a condition wherein a value contained in a location in such a way that the value is too complex to describe how to extract the value.

Claim 51

The apparatus of claim 1 wherein the information database comprises instruction maps containing instruction map entries defining particular relationships between the source code lines and the executable code lines and data maps containing data map entries having methods therein for accessing data variable locations.

Claim 52

The apparatus of claim 50 wherein the instruction map entries comprise a plurality of software code objects, the software code objects having data and software code therein for identifying selected source code lines.

Claim 53

The apparatus of claim 1 wherein the data map entries comprise a plurality of software code objects, the software code objects having data and software code therein for locating selected data variables.

Claim 54

The apparatus of claim 1 wherein the software model objects include a software model object for modeling the state of the executable program.

Claim 55

The apparatus of claim 1 wherein the software model objects include a software model object for modeling an instruction set used in the computer and operating system services used by the executable program.

Claim 58

The method of claim 55 wherein step (a) comprises the steps of: (a1) creating instruction maps containing instruction map entries defining particular relationships between the source code lines and the executable code lines and data maps containing data map entries having methods therein for accessing data variable locations.

Claim 59

The method of claim 56 wherein step (a1) comprises the step of: (a1a) creating instruction map entries comprising a plurality of software code objects, the software code objects having data and software code therein for identifying selected source code lines.

Claim 60

The method of claim 56 wherein step (a1) comprises the step of: (a1b) creating data map entries comprising a plurality of software code objects, the software code objects having data and software code therein for locating selected data variables.

Claim 61

The method of claim 55 wherein step (b) comprises the step of: (b1) creating a software model object for modeling the state of the executable program.

Claim 62

The method of claim 55 wherein step (b) comprises the step of: (b2) creating a software model object for modeling an instruction set used in the computer and operating system services used by the executable program.

Claim 63

A computer program product for use on a computer system having a memory and an operating system, the computer program product controlling an executable program having executable code lines created by processing source code lines with a compiler to generate object code modules and linking the object code modules with a linker, wherein the compiler and the linker generate debugging information during processing, the computer program product comprising a computer usable medium having computer readable program code thereon including: (a) program code which uses the debugging information to create in the memory an information database containing a plurality of map entries defining particular relationships between the source code lines and the executable code lines and methods for accessing data variable locations; (b) program code for constructing in the memory a plurality of software model objects to model the executable program and the operating system, the software model objects containing data and code therein for generating state data concerning the state of the executable program and the operating system; and (c) program code loadable into the memory which uses the state data generated by the plurality of software model objects and information extracted from the information database to control the computer to selectively execute the executable program.

Claim 64

A computer program product for use on a computer system having a memory and an operating system, the computer program product controlling an executable program having executable code lines created by processing source code lines with a compiler to generate object code modules and linking the object code modules with a linker, wherein the compiler and the linker generate debugging information during processing, the computer program product comprising a computer usable medium having computer readable program code thereon including: (a) program code which uses the debugging information to create in the memory an information database containing a plurality of map entries defining particular relationships between the source code lines and the executable code lines and methods for accessing data variable locations; (b) program code for constructing in the memory a plurality of software model objects to model the executable program and the operating system, the software model objects containing data and code therein for generating state data concerning the state of the executable program and the operating system; and (c) program code loadable into the memory which uses the state data generated by the plurality of software model objects and information extracted from the information database to control the computer to selectively execute the executable program.

Claim 65

The computer program product of claim 61 wherein the program code which creates the information database creates in the memory instruction maps containing instruction map entries defining particular relationships between the source code lines and the executable code lines and further creates data maps containing data map entries having methods therein for accessing data variable locations.

Claim 66

The computer program product of claim 62 wherein the program which creates the instruction map entries creates in the memory a plurality of software code objects, the software code objects having data and software code therein for identifying selected source code lines.

Claim 67

The computer program product of claim 62 wherein the program which creates the data map entries creates in the memory a plurality of software code objects, the software code objects having data and software code therein for locating selected data variables.

Claim 68

The computer program product of claim 61 wherein the program code which creates the software model objects creates a software model object for modeling the state of the executable program.

Claim 69

The computer program product of claim 61 wherein the program code which creates the software model objects creates a software model object for modeling an instruction set used in the computer and operating system services used by the executable program.