Analiza przepływu danych to technika używana do gromadzenia informacji o możliwych zestawach wartości obliczonych w programie. Dokładniej, informacje o sposobie używania zmiennych w każdym punkcie programu. Dane uzyskane z tego procesu są często wykorzystywane w optymalizacji programu.

Analiza przepływu danych zazwyczaj wykorzystuje CFG (wykres przepływu sterowania), podobny do schematu przepływu, pokazujący wszystkie możliwe ścieżki danych w programie.

Algorytm, przepływ danych, warunki programowania