摘要 |
<p>PROBLEM TO BE SOLVED: To provide a program inspection program for efficiently detecting memory interference, an inspection apparatus, and an inspection method.SOLUTION: An inspection program inspects a global variable where access processing interference occurs between two functions. Inspection processing includes: a function-based analysis information generation step of generating analysis information for each of functions described in a source code, on the basis of the source code of a program; a function set generation step of generating first and second function sets having information on first and second inspection object functions at least one of which indicates an interrupt function and a function which is called by the first and second inspection object functions as caller functions successively; and a global variable detection step of generating the first and second global variable sets on the basis of the analysis information, and detecting a global variable coincident between the first and second global variable sets and each access processing attribute in the first and second inspection object functions of the coincident global variable.</p> |