Program analyzing apparatus, program analyzing method, and trace processing addition apparatus

Patent metadata

Field	Value
Publication number	US-12248769-B2
Application number	US-202218547873-A
Country	US
Kind code	B2
Filing date	Feb 15, 2022
Priority date	Mar 18, 2021
Publication date	Mar 11, 2025
Grant date	Mar 11, 2025

Abstract

A program analyzing apparatus (failure analyzing apparatus) includes an execution path reduction unit that deletes an execution path that is not executed by referring to information related to a branch destination of a conditional branch included in a program, from all execution paths that are all executable execution paths among execution paths that are columns of statements to be sequentially executed in the program.

First claim

The invention claimed is:

1. A program analyzing apparatus comprising
an execution path reduction unit that deletes an execution path that is not executed by referring to information related to a branch destination of a conditional branch included in a program, from all execution paths that are all executable execution paths among execution paths that are columns of statements to be sequentially executed in the program;
a function specification acquisition unit that acquires specifications of ranges of an argument and a return value of a function included in the program; and
a failure location detection unit that calculates a failure condition that is a value of the argument inconsistent with the specification among functions included in a remaining execution path after deletion by the execution path reduction unit.

2. The program analyzing apparatus according to claim 1 , wherein the information related to the branch destination of the conditional branch is either a value of a variable referred to in the conditional branch included in an execution log generated when the program is executed or a value of a conditional expression included in the conditional branch.

3. The program analyzing apparatus according to claim 1 , wherein the failure condition is either
a failure condition that is values of the argument and the return value that satisfy a logical product of a logical expression indicating the range of the argument and a logical expression that is a negativeness of a logical expression indicating the range of the return value among the functions included in the remaining execution path, or
a failure condition that is a value of an argument of a function that satisfies a logical product of the logical expression indicating the range of the argument and a logical expression that is a negativeness of a logical expression indicating a range of an argument of a called function directly or indirectly called by the function in the remaining execution path, among the functions included in the remaining execution path.

4. The program analyzing apparatus according to claim 1 , wherein the failure location detection unit specifies the remaining execution path including a statement in which an error has occurred during execution of the program, and calculates the failure condition.

5. The program analyzing apparatus according to claim 1 , wherein the failure location detection unit calculates the failure condition with a priority given to a function in which a failure has occurred in the past, as a function for calculating the failure condition.

6. The program analyzing apparatus according to claim 1 , wherein the failure location detection unit calculates the failure condition with a priority given to a function including an execution path on which a test has not been performed, as a function for calculating the failure condition.

7. A program analyzing method of a program analyzing apparatus, wherein the program analyzing apparatus executes:
a step of deleting an execution path that is not executed by referring to information related to a branch destination of a conditional branch included in a program, from all executable execution paths among execution paths that are columns of statements to be sequentially executed in the program;
a step of acquiring specifications of ranges of an argument and a return value of a function included in the program; and
a step of calculating a failure condition that is a value of the argument inconsistent with the specification among functions included in a remaining execution path after deleting the execution path that is not executed.

Assignees

• Hitachi Ltd

Inventors

• Kaga Hiroto
• Kawakami Masumi
• Suzuki Yasufumi

Classifications

• G06F8/75

  Structural analysis for program understanding · CPC title

• G06F8/4435 Primary

  Detection or removal of dead or redundant code · CPC title

• G06F11/3636

  by tracing the execution of the program · CPC title

• G06F11/34

  Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation {; Recording or statistical evaluation of user activity, e.g. usability assessment} · CPC title

• G06F11/36 Primary

  Prevention of errors by analysis, debugging or testing of software · CPC title