Data-flow analyse er en teknikk som brukes til å samle informasjon om mulige sett av verdier beregnet i et program. Mer spesifikt blir informasjon om veivariabler brukt på hvert punkt i programmet. Dataene som kommer fra denne prosessen brukes ofte i programoptimalisering.

Data-flow analyse bruker vanligvis en CFG (kontroll flytdiagram), som ligner et flytdiagram, som viser alle mulige baner av data gjennom programmet.

Algoritme, Dataflyt, Programmeringsbetingelser