PROGRAM VERIFICATION METHOD AND DEVICE

摘要

PROBLEM TO BE SOLVED: To reduce a memory requirement necessary for analyzing a verification object source code for achieving analysis inexpensively and improving analysis precision in analysis on a verification object source code including an insufficient portion of the source code. SOLUTION: A modeling program 302 generates a model describing details of previously designated features. A data flow analysis program 304 analyzes data flow based on a modeled verification object code 107. A vulnerability detection program 306 refers a data path output as a result of the data flow analysis to a vulnerability database 106 to detect a vulnerable path among the analyzed data paths. In this process, data flow of the verification object source code is noticed, and by simplifying the noticed data flow before performing the above treatment, the verification object source code 107 is shortened. COPYRIGHT: (C)2009,JPO&INPIT