摘要 |
PROBLEM TO BE SOLVED: To properly recognize an execution path without generating a useless path condition. SOLUTION: In this method, from a program of an analysis object, a repetition block matched with a pattern of changing a repetition control variable, searching a specific case and executing specific processing in the specific case is extracted. In the program of the analysis object, the extracted repetition block and a block immediately after the repetition block are substituted for a biantennary structure for executing the specific processing in the case of truth, executing the processing of the block immediately after in the case of false, and including a predicate function concerning the truth/false, and a logical restriction is generated for the predicate function included in the biantennary structure. In the symbolic execution of the program after conversion processing, when detected that the predicate function is processed, the path condition at the appearing position of the predicate function is generated from the logical restriction associated with the predicate function and is added and registered to the management data of a symbolic execution part. COPYRIGHT: (C)2011,JPO&INPIT |