Data-flödesanalys är en teknik som används för att samla information om möjliga uppsättningar av värden som beräknas i ett program. Mer specifikt används information om hur variablerna används vid varje punkt i programmet. Data som erhålls från denna process används ofta i programoptimering.

Dataflödesanalys använder vanligtvis en CFG (kontrollflödesdiagram), som liknar ett flödesschema, som visar alla möjliga vägar av data genom programmet.

Algoritm, Dataflöde, Programmeringsvillkor