Symbolic execution method, symbolic execution program and symbolic execution device

摘要

PROBLEM TO BE SOLVED: To achieve symbolic execution even when the value of a symbol variable is perpetuated.SOLUTION: In the case of executing a writing instruction to instruct the writing of first data including the value of a symbol variable 104 in a file 108, the first data are written in the file in accordance with the writing instruction, and the value of the symbol variable of internal expressions is stored in a storage device 109. In the case of executing a reading instruction to instruct the reading of the first data from the file, the value of the symbol variable of the internal expressions is read from the storage device 109, and the first data including the value of the symbol variable of the internal expressions are set to the return value of the reading instruction.