DYNAMIC DATA FLOW TRACKING METHOD, DYNAMIC DATA FLOW TRACKING PROGRAM, AND DYNAMIC DATA FLOW TRACKING APPARATUS
First Claim
1. A dynamic data flow tracking method of dynamically tracking a data flow by setting a tag for data in a process and causing the tag to propagate with data passing in the process,wherein a specification of the data passing between functions included in a shared library is defined as a signature, andat least a part of the propagation of the tag between the functions is skipped by referring to the signature at the time of giving a call to the functions defined in the signature from a program.
1 Assignment
0 Petitions
Accused Products
Abstract
A dynamic data flow tracking apparatus, a dynamic data flow tracking method, and a dynamic data flow tracking program are provided which can raise the dynamic data flow analysis speed for a program linked to plural shared libraries. A specification of data passing between functions included in a shared library is defined in a signature, which is stored in a storage unit (108). At least a part of the propagation of a tag between the functions in a call destination is skipped by referring to the signature stored in the storage unit (108) at the time of giving a call to a function defined in the signature from a program.
229 Citations
21 Claims
-
1. A dynamic data flow tracking method of dynamically tracking a data flow by setting a tag for data in a process and causing the tag to propagate with data passing in the process,
wherein a specification of the data passing between functions included in a shared library is defined as a signature, and at least a part of the propagation of the tag between the functions is skipped by referring to the signature at the time of giving a call to the functions defined in the signature from a program.
-
8. A dynamic data flow tracking program for causing a computer to perform a dynamic data flow tracking operation of dynamically tracking a data flow by setting a tag for data in a process and causing the tag to propagate with data passing in the process, wherein a specification of the data passing between functions included in a shared library is defined in a signature, and
wherein at least a part of the propagation of the tag between the functions is skipped by referring to the signature at the time of giving a call to the functions defined in the signature from a program.
-
15. A dynamic data flow tracking apparatus that dynamically tracks a data flow by setting a tag for data in a process and causing the tag to propagate with data passing in the process, comprising:
-
a storage unit for storing a signature in which a specification of the data passing between functions included in a shared library is defined; and a dynamic data flow analysis process adding unit for adding a tag propagation process of skipping at least a part of the propagation of the tag between the functions by referring to the signature at the time of giving a call to the functions defined in the signature from a program. - View Dependent Claims (16, 17, 18, 19, 20, 21)
-
Specification