Data flow analysis problem

Data flow analysis problem --- задача анализа свойств состояний, задача потокового анализа, задача глобального анализа потока данных.