Привилегированный effect обходится без обязательной authorization

V-SEC-19 · Нарушение контракта

Привилегированный effect обходится без обязательной authorization

Проверка доступа на одном пути не защищает другой путь к privileged sink; решение также может устареть к моменту применения.

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

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

guard await canEdit(user, document) else { return }
await waitForInput()
write(document)

await authorization.commitEdit(user, document, change)

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

Связать решение об авторизации с конкретным ресурсом и атомарным commit. Простая повторная проверка не всегда устраняет TOCTOU.

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

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

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

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

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

Исследовательский прототип — план реализации, не maturity

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

Нарушение контракта — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

VISION