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