摘要 |
PROBLEM TO BE SOLVED: To extract interference part of a global variable generating a nonconformities during processing description of a source program, using the global variable handing the information of a bit unit, and to automatically check the existence of interrupt disable/enable instructions on proper positions. SOLUTION: The global variable is retrieved, first on the basis of the source program to generate a variable table. Here, information as to whether or not the information of bit unit is to be handled, and the information on a bit width as a set/reset object are acquired, and whether or not the processing description relation to the global variable is the read write processing substantially accompanying the read processing is decided. When the write processing of the global variable is performed in an upper function (S120) and the read write processing is performed in a lower function (S130), the existence of the interrupt disable/ enable instruction on proper position corresponding to the processing description position in the lower function is decided (S140-S160), and the result of the decision is outputted (S170).
|