PROGRAM ANALYSIS SYSTEM AND METHOD THEREOF
First Claim
1. A program analysis system that operates a program the operation of which is to be verified in execution environment where time elapse velocity can be arbitrarily adjusted, comprising:
- a system management device provided with an analysis manager that manages an analysis situation of the program and determines time elapse velocity;
at least one sample execution device provided with a sample executor that executes the program in the execution environment based upon the time elapse velocity specified by the analysis manager and an action recorder that acquires the behavior of the program in the execution environment as an action record;
at least one action analyzer provided with an action analyzer that analyzes the action record and outputs a characteristic of the program as a result of analysis; and
at least one communication monitoring device provided with a communication monitor that adjusts the time elapse velocity so as to prevent time-out from occurring when the program communicates with an external device.
1 Assignment
0 Petitions
Accused Products
Abstract
A program analysis system that analyzes a program while adjusting time elapse velocity in program execution environment sets analysis conditions such as time elapse velocity in the execution environment, program execution start time and execution termination time, adjusts the time elapse velocity and the program execution start time according to the determination of an analysis manager, executes the program till the execution termination time, monitors the execution environment, acquires an action record of the program, analyzes the action record, and clarifies the behavior of the program. Further, the program analysis system resets the analysis conditions based upon a result of analysis, re-analyzes, monitors communication between a sample and an external terminal, and varies the time elapse velocity set by the analysis manager to prevent time-out from occurring in communication.
-
Citations
13 Claims
-
1. A program analysis system that operates a program the operation of which is to be verified in execution environment where time elapse velocity can be arbitrarily adjusted, comprising:
-
a system management device provided with an analysis manager that manages an analysis situation of the program and determines time elapse velocity; at least one sample execution device provided with a sample executor that executes the program in the execution environment based upon the time elapse velocity specified by the analysis manager and an action recorder that acquires the behavior of the program in the execution environment as an action record; at least one action analyzer provided with an action analyzer that analyzes the action record and outputs a characteristic of the program as a result of analysis; and at least one communication monitoring device provided with a communication monitor that adjusts the time elapse velocity so as to prevent time-out from occurring when the program communicates with an external device. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. A program analysis method for operating a program the operation of which is to be verified in execution environment where time elapse velocity can be arbitrarily adjusted using a processor, comprising:
-
an analysis management step for managing an analysis situation of the program and determining time elapse velocity; a sample execution step for executing the program in the execution environment based upon the time elapse velocity specified in the analysis management step; an action recording step for acquiring the behavior of the program in the execution environment as an action record; an action analysis step for analyzing the action record and outputting a characteristic of the program as a result of analysis; and a communication monitoring step for adjusting the time elapse velocity so as to prevent time-out from occurring when the program communicates with an external device.
-
-
13. A program analysis system that operates a program the operation of which is to be verified in execution environment where time elapse velocity can be arbitrarily adjusted, comprising:
-
a system management device provided with an analysis manager that manages an analysis situation of the program and determines time elapse velocity; and a processor provided with a sample executor that executes the program in the execution environment based upon the time elapse velocity specified by the analysis manager, an action recorder that acquires the behavior of the program in the execution environment as an action record, an action analyzer that analyzes the action record and outputs a characteristic of the program as a result of analysis, and a communication monitor that adjusts the time elapse velocity so as to prevent time-out from occurring when the program communicates with an external device.
-
Specification