Проверка на заражение - это метод анализа программного обеспечения, связанный с безопасностью.

Проверка на заражение предполагает, что любая переменная, которая может быть изменена внешним пользователем, представляет потенциальную угрозу безопасности. Инструмент проверки на зараженность составляет список всех переменных, на которые потенциально может повлиять внешний ввод. Если какая-либо из этих переменных используется для выполнения опасных команд (таких как прямые команды для базы данных SQL или операционной системы хост-компьютера), средство проверки заражения предупреждает, что программа использует потенциально опасную испорченную переменную.