It is the analysis of flow of data in control flow graph, i.e., the analysis that determines the information regarding the definition and use of data in program. With the help of this analysis, optimization can be done. In general, its process in which values are computed using data flow analysis. The data flow property represents information that can be used for optimization. 

Basic Terminologies – 
 

• Definition Point: a point in a program containing some definition.
• Reference Point: a point in a program containing a reference to a data item.
• Evaluation Point: a point in a program containing evaluation of expression.

Data Flow Properties – 
 

• Available Expression – A expression is said to be available at a program point x if along paths its reaching to x. A Expression is available at its evaluation point. 
  An expression a+b is said to be available if none of the operands gets modified before their use. 

  Example – 
   

• Advantage – 
  It is used to eliminate common sub expressions. 

   

• Reaching Definition – A definition D is reaches a point x if there is path from D to x in which D is not killed, i.e., not redefined. 

  Example –