PROGRAM ANALYSIS APPARATUS AND PROGRAM ANALYSIS METHOD

摘要

An object is to assist analysis work on a program in software development and improve program development efficiency. A program analysis apparatus performs symbolic-execution on a program stored in a storage device, receives an input of a change point of the program, and based on a result of the symbolic-execution, identifies an influenced segment of the program when the program is changed for the change point. The program analysis apparatus receives the change point by receiving a change operation on any one of a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution, a decision table based on the symbolic summary, and a source code. The program analysis apparatus visualizes the influenced segment of the identified program in any mode of the symbolic summary, the source code, and the decision table.

主权项

1. A program analysis apparatus, comprising:
a processor; a storage device; a symbolic-execution processing part to execute symbolic-execution on a program stored in the storage device; a change point reception part to receive an input of a change point of the program; and an influenced segment analysis part to identify an influenced segment which is a segment of the program to be influenced if the program is changed for the change point, based on a result of the symbolic-execution.