INFORMATION PROCESSOR, PROGRAM DEVELOPMENT SYSTEM, PROGRAM VERIFICATION METHOD AND PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide an information processing technology capable of appropriately determining protective attributes for respective variables of a program according to a security protocol. SOLUTION: A conversion part 50 converts a target program 11 to a data flow 21. An updating replacement part 51 updates the data flow 21 by detecting a pair (A, B) of functions for which the completeness of a variable included in the determination term of certain dependency in a function A is verified by another function B among the functions indicated in the data flow 21 and adding a function C for imparting and outputting the protective attribute guaranteeing the completeness to the variable included in the subordinate term of the dependency in the function A only when the verification of the function B is a success without changing the function of the target program 11. A protective attribute determination part 52 outputs the protective attribute uniquely determined for each variable on the basis of the result of updating by the updating replacement part 51. COPYRIGHT: (C)2010,JPO&INPIT