Анализ потока данных —
Анализ статический, при котором определяются свойства данных, обрабатываемых программой.
Примечание. Могут определяться возможные значения переменных и констант, точки программы, в которых используются переменные определенные и пр. [ ГОСТ Р 71207-2024 ].