El análisis del flujo de datos es una técnica que se utiliza para reunir información sobre posibles conjuntos de valores computados en un programa. Más específicamente, la información sobre la forma en que se utilizan las variables en cada punto del programa. Los datos obtenidos de este proceso se utilizan a menudo en la optimización del programa.

El análisis de flujo de datos generalmente emplea un CFG (gráfico de flujo de control), similar a un diagrama de flujo, que muestra todas las rutas posibles de datos a través del programa.

Algoritmo, Flujo de datos, Términos de programación.