METHOD AND SYSTEM FOR ANALYZING SOFTWARE PROGRAM AND NON-TEMPORARY COMPUTER READABLE MEDIUM

摘要

PROBLEM TO BE SOLVED: To provide a software program analyzing method and so on in which error detection is improved.SOLUTION: A method 600 includes a step 606 for compiling a software program 602 to an intermediate expression. The method 600 further includes a step 608 for detecting an instruction to be matched with a pattern in a check pattern 604. The method 600 further includes a step 610 for generating an instrumented intermediate expression in which an instruction is changed in accordance with action specified in the check pattern. The method 600 further includes a step 612 for executing the instrumented intermediate expression as a code.