METHOD FOR VERIFYING CODE SEQUENCE

摘要

PROBLEM TO BE SOLVED: To easily verify a program code by constructing an abstract syntax tree from a code sequence and judging whether the abstract syntax tree satisfies a previously fixed condition set. SOLUTION: A computer system 100 has a verifying program 140 to be executed by a hardware layer 120 on an operating system 130. The program 140 receives a code sequence 150 and generates an abstract syntax tree 160. The sequence 150 is downloaded to the system 100 through the Internet 110. Verification is executed by judging whether the abstract syntax tree satisfies the previously defined condition set showing whether the code sequence can be executed on the computer without generating the execution error of a previously defined class.