Program analysis apparatus, error detection apparatus, program analysis method, error detection method, program analysis program, and error detection program

摘要

PROBLEM TO BE SOLVED: To provide a program analyzer capable of detecting erroneous use of a resource acquisition/release function which is used in a program by analyzing a source code in the program without specifying any resource acquisition/release function defined by a user.SOLUTION: The program analyzer picks up all line numbers k which call for a function f with respect to all combinations of different two functions f and g which appear in an input source code. In all execution channels following the line number k which call for the function, when a variable r storing a return value of the function f and the function g match with an occurrence pattern of a general resource storage variable and a general resource release function, the functions f and g are extracted as a resource acquisition function and a resource release function to thereby detect a point that the resource acquisition function refers to the acquisition resource in an uninitialized state. With this, erroneous use of user defined resource acquisition function and resource release function can be detected by means of static code analysis.SELECTED DRAWING: Figure 1