Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Data-flow analysis

Known as: DFA, Flow analysis, Data-flow graph 
Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. A… Expand
Wikipedia

Related topics

Related topics

29 relations
Abstract interpretationAvailable expressionBasic blockCompiler
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey
Software security vulnerabilities are one of the critical issues in the realm of computer security. Due to their potential high… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2016
Highly Cited
2016
TensorFlow: A system for large-scale machine learning
TensorFlow is a machine learning system that operates at large scale and in heterogeneous environments. Tensor-Flow uses dataflow… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Data Flow Analysis - Theory and Practice
This work provides an in-depth treatment of data flow analysis technique. Apart from including interprocedural data flow analysis… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Dryad: distributed data-parallel programs from sequential building blocks
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines… Expand
  • figure 1
  • figure 2
  • figure 8
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Monotone data flow analysis frameworks
SummaryWe consider a generalization of Kildall's lattice theoretic approach to data flow analysis, which we call monotone data… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Control-flow analysis of higher-order languages of taming lambda
Programs written in powerful, higher-order languages like Scheme, ML, and Common Lisp should run as fast as their FORTRAN and C… Expand
  • figure 1.2
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Selecting Software Test Data Using Data Flow Information
This paper defines a family of program test data selection criteria derived from data flow analysis techniques similar to those… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Systematic design of program analysis frameworks
Semantic analysis of programs is essential in optimizingcompilers and program verification systems. It encompasses dataflow… Expand
Is this relevant?
Highly Cited
1976
Highly Cited
1976
A program data flow analysis procedure
The global data relationships in a program can be exposed and codified by the static analysis methods described in this paper. A… Expand
  • figure 2
  • table I
  • figure 5
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
1970
Highly Cited
1970
Control flow analysis
Any static, global analysis of the expression and data relationships in a program requires a knowledge of the control flow of the… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE