Обход security validator или sanitizer

V-SEC-20 · Дефект

Обход security validator или sanitizer

Значение может попасть к чувствительной операции по обходному пути, не проходящему обязательную проверку.

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

if validate(input) { store(input) }
legacyFallback(input) // Тоже вызывает store.

guard let validated = validateAndWrap(input) else { return }
store(validated)

Что изменить и что сохранить

Сделать подтверждённое состояние явным типом или единым контролируемым маршрутом. Проверить все aliases и нормализацию после validation.

Что подтверждено сейчас

В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.

Владелец реализации

T021: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Experimental advisory — план реализации, не maturity

Смысл результата

Дефект — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

CODEQL