METHOD FOR INSPECTING COMPUTER PROGRAM OF C LANGUAGE AND PROGRAM STORAGE MEDIUM

摘要

PROBLEM TO BE SOLVED: To automatically detect a place where operation changes when an integer type object changes in size in a source program described in the C language. SOLUTION: The C source program 2 described in the C language is inputted and the pattern that the operation of the program changes when the object of an integer type determined by the specifications of the C language changes is detected by analyzing the inputted source program. Information regarding the name of a file where the source program corresponding to the source program is described, the line number, and the name representing the object is outputted as a detection message 4.