Анализ потока данных

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