PATTERN EXAMINATION SYSTEM, PATTERN EXAMINATION DEVICE, METHOD, AND PATTERN EXAMINATION PROGRAM

摘要

With a program described in an object-oriented language as a target, it is inspected by program analysis whether a pattern of a method call issued to a specific object generated at the time of execution conforms to a given rule of pattern definition or not. The pattern inspection system for inspecting, with a program described in an object-oriented language as a target, a method calling pattern issued to an object generated when the program is executed, which includes an extraction unit for extracting an abstract object related to inspection from abstract objects recorded in program information of the program by referring to an inspection target class name described in pattern definition, a determination unit for determining a method calling place at which a method call related to inspection is made to the abstract object by using a pointer analysis result taking a context of the program into consideration, and an inspection unit for generating a control flow graph bridging over functions and executing data flow analysis to inspect whether the method calling pattern conforms to the pattern definition or not.