DYNAMIC DATA FLOW TRACKING METHOD, DYNAMIC DATA FLOW TRACKING PROGRAM, DYNAMIC DATA FLOW TRACKING DEVICE

摘要

Provided are a data flow analysis method, a data analysis program, and a data flow analysis device which can speed up dynamic data flow analysis for a program which links many shared libraries. The data transfer specifications in the functions included in shared libraries are defined as signatures and stored in a storage unit (108). When calling a function defined by the signature from a program, at least some of the tag propagation in the function at the calling destination is omitted by referring to the signatures stored by the storage unit (108).