data flow analysis


Also found in: Acronyms.

data flow analysis

[′dad·ə ¦flō ə‚nal·ə·səs]
(computer science)
The development of models for the movement of information within an organization, indicating the sources and destinations of information and where and how information is transmitted, processed, and stored.

data flow analysis

(programming)
A process to discover the dependencies between different data items manipulated by a program. The order of execution in a data driven language is determined solely by the data dependencies. For example, given the equations

1. X = A + B 2. B = 2 + 2 3. A = 3 + 4

a data-flow analysis would find that 2 and 3 must be evaluated before 1. Since there are no data dependencies between 2 and 3, they may be evaluated in any order, including in parallel.

This technique is implemented in hardware in some pipelined processors with multiple functional units. It allows instructions to be executed as soon as their inputs are available, independent of the original program order.
Mentioned in ?
References in periodicals archive ?
A critical analysis of incremental iterative data flow analysis algorithms.
The approach uses the results generated from the static data flow analysis, combined with the user's input, to find out the portion of the AND-OR tree is deterministic under the current variable binding.
Computing the parameter lists requires extensive data flow analysis of the program's global variables.
Demand-driven data flow analysis for communication optimization.
For the purpose of this article, data flow analysis is used in an attempt to optimize variable definitions in a translation program.
Other topics include using stealth mixims to achieve modularity, a Kleene algebra framework for data flow analysis, timed behavior trees, and combining estimates with planning poker.
Data flow analysis computes information about the potential behavior of a program in terms of the definitions and uses of data objects.
Elimination Algorithms for Data Flow Analysis Barbara G.
TBrun offers a high degree of automation making use of the comprehensive control and data flow analysis with the LDRA tool suite.
Contract notice: Data flow analysis for it security at the example of the permissions of android (110 permsec p) 0.
This analysis can be performed using standard methods of data flow analysis [Hecht 1977; Aho et al.
Parasoft Application Security Solution is bringing improvements in security policy enforcement through static analysis, data flow analysis, penetration testing, and more--as well as security process optimization.