| CPC G06F 11/3636 (2013.01) | 6 Claims |
|
1. A defect analysis apparatus comprising:
a memory storing a defect analysis program;
a processor coupled to the memory and programmed to execute the defect analysis program, which causes the processor to:
acquire a statement of a program in which an exception occurs as an analysis start point from an execution log when analyzing a defect of the program based on the execution log of the program;
acquire, each as an analysis end point, one or more functions selected from one or more functions each directly or indirectly calling a function including the analysis start point; and
perform reverse symbolic execution from the analysis start point to the analysis end point and output an execution path in which the exception occurs; and
a solver, wherein
the processor calculates a path condition that is a condition under which the exception occurs,
the solver outputs an input parameter value of a function serving as the analysis end point that satisfies the path condition, and
the processor performs forward symbolic execution from call of the analysis end point performed at the input parameter value output by the solver to the analysis start point, and outputs a variable value at the analysis start point.
|