Анализ потока данных - это метод, используемый для сбора информации о возможных наборах значений, вычисленных в программе. Более конкретно, информация о том, как переменные используются в каждой точке программы. Данные, полученные в результате этого процесса, часто используются при оптимизации программы.

Анализ потока данных обычно использует CFG (график потока управления), аналогичный блок-схеме, показывающей все возможные пути данных через программу.

Алгоритм, Поток данных, Условия программирования