To provide a data flow analyzer data flow analysis method that can speed up the dynamic data flow analysis for the program linked with shared libraries of many, and data analysis program,. Be defined as the signature specification of data passing in the function that is included in the shared library, and stores it in the (108) storage unit. By the time of the call to a function that is defined in the signature from the program, reference is made to the signature storage unit (108) to hold, omitted at least a portion of the propagation of tags in a function in the call destination.
展开▼