JPS61206050A - Action analyzing system for program - Google Patents

Abstract

PURPOSE:To execute the action analyzing program function without using the special function depending upon the operating system by linking an acting analyzing program to an acted analyzing program and constituting the executable program. CONSTITUTION:When an execution stop setting command is inputted at a user terminal 22, the execution control is shifted to the control routine 36 of an action analyzing program 26, and again, a prompt to accelerate the input of the next debugging command of the terminal 22 is outputted. After the prompt output of a command input, the execution continuing command is inputted from the terminal 22, and then, the execution control reciprocates between a user program 28 and an action analyzing program 26. The program 26 retrieves a line number register table 38 and investigates whether or not the execution stop point is loaded to the line to be executed. When the stop point is loaded, the execution is stopped, and the prompt of the next input command input is outputted to the terminal 22. When the stop point is not loaded, the execution control is shifted from the program 26 to the user program 28 and the program of the line is executed.

Description

[Detailed Description of the Invention] [Industrial Application Field] The present invention relates to a method for analyzing the behavior of a program that performs a specific function for operating a computer, especially a method for analyzing the behavior of a source program using a programming language such as C language. It is related to.

[Conventional technology]

Conventional motion analysis methods depend on the processing method of a specific computer, and are not versatile.

For example, the operating system [UNIXj
.

The motion analysis program "8D BJ" that operates under the operating system "UNI .

The processing method of the motion analysis program l'-8D BJ, which operates on the operating system l'-UNIXJ, will be briefly described.

The above "5DBJ is an executable program that can run on the [8DBJ] alone, and by starting this program, it is possible to execute the operated analysis program. When starting this operated analysis program, the operating system [UNIXJ] Special installed functions (for example, fork, exec) are used.

"When the operated analysis program is started by 8DBj, control regarding the execution of the program is passed from [5DBl to the operated analysis program. To analyze the operation, it is possible to trace the execution procedure of the executed program and find the execution stopping point. You can also check the operating system [UNIXJ
This is achieved using a unique function (ptrace).

[Problem that the invention seeks to solve]

Conventional behavior analysis methods, especially in the case of source programs using the C language,
It was difficult to apply it to anything other than J.

This invention was made to solve the above-mentioned problems, and aims to make it possible to realize a behavior analysis program function without using special functions installed in an operating system.

[Means for solving problems]

The motion analysis method according to the present invention does not utilize special functions that depend on the operating system to implement motion analysis functions, and instead executes the motion analysis program by combining it with the motion analysis target (tested) program. It is designed to configure possible programs.

[Effect]

The behavior analysis method in this invention incorporates a procedure for exchanging control with the behavior analysis program by a specific instruction when converting the source program to be inspected into a debuggable executable program, so that the behavior analysis program can be combined and executed. The feature is that the program is created, and program execution control during debugging is passed back and forth between the program under test and the behavior analysis program.

[Embodiments of the invention]

An embodiment of the present invention will be described below with reference to the drawings.

In this invention, when attempting to analyze the operation of a program (program under test) that performs a certain function, first,
From the source program to be inspected.

A debuggable test program is created that includes information necessary for debugging, such as a debug routine call instruction, line numbers, and symbol tables, corresponding to each source line of this program.

FIG. 4 shows the flow of creating a debuggable test program (debuggable load module).9For example, the test source program (1) created in the C language shown in FIG. After that, the compiler (2) converts it into an assembly line (3), the assembler (4) converts this assembly line (3) into a reader-pull object model (5), and then the linker (6) converts it into an assembly line (3). By linking with Yoshu Debug Live 21/7) and standard function library (8),
Obtain a debuggable load module (9).

FIG. 3 shows the contents of the debuggable load module corresponding to each source line of the source program shown in FIG. In Figure 3, αGelυ is the second
The content corresponding to the 5th line of the source program in the figure, (L1
αJ is a debug routine call instruction added to the contents of the fifth line, αΦ is information necessary for debugging, C9 is the line number, and C9 is the same symbol table.

Next, the debuggable load module (9) obtained as described above is loaded into a debugging computer such as the one shown in FIG. 5, for example.

In Figure 5, En is the central processing unit of the debugging computer, C21) is its main memory, @ is the user terminal that inputs various instructions for debugging work and outputs the debugging results, El is this terminal ■ and the center of the above At the input/output interface 7A between the processing unit and the central processing unit ■, the source program file (to) and the debuggable load module file (c) are sent to the central processing unit ■ via this input/output interface (c). It is connected. Note that in FIG. 5, the control section of the computer and the like are omitted from illustration.

In the main memory of the above-mentioned computer, a program for operation analysis as a debug routine is prepared together with other routines such as standard function routines, and in the main memory, a debuggable load module file ( )
The debuggable load module is loaded as a user program.

Figure 1 shows the internal structure of the user program (2) and the behavior analysis program, as well as the flow of control and information between the two programs and the terminal @.
l + - (to) is the one in the user program (to), clυ is the entry that is the entry point of the function to which execution control is passed, C (51 is the symbol table generated for each compilation unit, (to) is This symbol table (to)
(2) is the motion analysis program (to)
This is a debug routine call instruction to transfer control to
When transferring control, the line number (to) is also passed as an argument to the behavior analysis program (to). (To) - (To) are in the motion analysis program (To), and the control routine (To) is in the motion analysis program (To)? This is a routine that performs processing for cloak analysis and debugging. - is the function name stack, and the execution control in the user program is the entry (31
When it is 1, write the function name. (To) is a line number registration table in which the line number is registered when the execution stop point is set. When the control routine (to) performs debugging processing, it refers to the stack (■) and table (to) and performs processing at the trace and execution stop point of the function.

The prisoner indicates a terminal.2 The user inputs debugging commands from this terminal and analyzes the operation of the user program (to) while exchanging information with the operation analysis program.

(to) is the source program file of the user program, and is accessed when a command requesting display of the source program is input from the terminal ■.

The flow of processing according to the present invention will be explained below. First, the user program ■ starts up.

Then, in function entry entry C (11), the function name written in the symbol table is registered in the function name stack ■, and execution control is transferred to the behavior analysis program ■ by the debug routine call command.This debug routine call command is a machine instruction that exists in a normal computer and is not dependent on the specific functions of a specific computer.

The control routine (to) accepts and responds to operation commands interactively with the user via the user terminal @, and performs operation analysis with reference to the function name stack and line number registration table (to).

For example, when an execution stop point setting command is input on the user terminal @, the execution control is set to the program ■ control routine (
Move to (To), register the line number at which execution is to be stopped in the 2nd line number registration table (To), and again output a prompt to the terminal ■ to prompt the input of the next debug command.

The method of registering in the line number registration table (to) will be explained later.

After a command input prompt is output, when a command to continue execution is input from the terminal (2), execution control is reciprocated between the user program (2) and the motion analysis program (2).

In the program (g), the 2nd line number registration table (to) is searched to check whether the line to be executed has an execution stop point. If the execution stop point to be executed is reached, the execution is interrupted and a prompt for inputting the secondary input command is output to the terminal (2). If the execution stop point has not been reached, execution control is transferred from the motion analysis program (to) to the user program (2), and the program in that line is executed.

The method of setting and registering the execution stop point will be explained.

If you enter the execution stop point setting command while the input prompt is being output to the user terminal @.

The control routine of the program (to) registers the line number at which execution is to be stopped in the line number registration table (to).

This registration table is dynamically allocated on the main memory of the computer, and J@points to the address of the next registration table (this is called a chain structure). Since both the file name and line number are required to set the execution stop point, the file name is also registered in a chain structure. That is, it has a two-dimensional chain structure in which only file names are connected in a chain structure and two line numbers from each file name register are connected in a chain structure.

Note that the behavior analysis method of the present invention is applicable not only to programs written in C language but also to any other language processor. As previously mentioned.

Since this method is independent of computers and operating systems, it is applicable to various language processors operating under various operating systems of various computers.

〔Effect of the invention〕

As described above, according to the present invention, the implementation of a motion analysis program does not depend on the specific functions of a specific operating system of a specific computer, so that other motion analysis programs with the same user interface can be implemented. It is easy to migrate to other computers, and has the effect of improving debugging efficiency of source programs written in programming languages.

[Brief explanation of the drawing]

Fig. 1 shows an embodiment of the present invention, and shows the flow of control exchange between the movement analysis program (user program) and the movement analysis program, and the movement analysis process. Figure 3 shows an example of a source program. Figure 3 shows the contents of a debuggable load module created from this source program. Figure 4 shows the flow of creating a debuggable load module. Figure 5 shows the computer used for debugging. FIG. 1 is a block diagram showing an example of a system. In the figure, ■ is the central processing unit, (corporate) is the main memory, ■ is the user terminal, and (to) is the source program file. (c) ilt is a debuggable load module file, CB is a behavior analysis program, and (branch) is a user program. Note that the same reference numerals in Figure 1 indicate the same parts.

Claims (1)

[Claims] When creating a debuggable executable program from a source program to be inspected, the debuggable executable program is created in a form that includes a debug routine call instruction and information necessary for debugging corresponding to each source line of the source program, and the debug routine is A behavior analysis program is prepared in the main memory of the computer, and the debuggable execution program and the behavior analysis program are combined by a debug routine call instruction in the debuggable execution program to control the central processing unit of the computer. A method for analyzing the behavior of a program, characterized in that it is possible to analyze the behavior of a program to be inspected at any point in a series of execution steps of the program to be inspected in response to instructions from a user terminal connected to the computer. .