Тейнт-анализ

Тейнт-анализ — это метод анализа потоков данных, который отслеживает, как недоверенные (помеченные как тейнт) входные данные проходят через программу, с целью выявления уязвимостей, при которых тейнт-данные достигают опасных операций (стоков). Формализованный Newsome и Song в 2005 году, тейнт-анализ помечает входные данные как тейнт и распространяет метки тейнта по программе, оповещая, когда тейнт-данные достигают чувствительных операций, таких как SQL-запросы или системные вызовы. Тейнт-анализ является фундаментальным для обнаружения уязвимостей внедрения и широко используется в инструментах динамического анализа и системах мониторинга безопасности.