Защитная диагностика RestrictedPython compiler по GHSA-ffg3-p8fm-mjx2: применимость, обратимый локальный control, измеримый verdict, критерий остановки и минимальный пакет данных для владельца системы.
Короткий ответ — RestrictedPython: защита guard-хуков от затенения
Задача страницы — проверить запрет защищённых имён guard-хуков в positional-only аргументах RestrictedPython. Сначала установите фактически загруженный RestrictedPython compiler, package lock или image digest и границу «RestrictedPython: introduced 0, fixed 8.3». Advisory GHSA-ffg3-p8fm-mjx2 — сигнал для inventory, а не доказательство состояния вашей установки. Практический порядок: provenance, один benign control, один boundary-case, измеримый verdict и cleanup. Боль конкретна: локальный аргумент может затенить policy hook после переписывания чувствительной операции. Итогом должен стать матрица signature class / protected name / compile result / warning / code-object counter, а не субъективное утверждение «вроде безопасно».
Граница решения в RestrictedPython compiler
Разделите путь данных на переходы: function signature → protected-name validation → rewritten access → embedding hook. На каждом переходе запишите владельца значения, тип, допустимое состояние и запрещённый side effect. Проверяемая инварианта: компилятор отклоняет защищённое имя до создания исполняемого code object, обычная функция остаётся допустимой. NOT_APPLICABLE допустим только если component/function доказанно отсутствует; неизвестные digest, версия или effective config дают UNKNOWN. Номер исправленного релиза без runtime readback не является PASS, а отсутствие инцидента не доказывает соблюдение границы.
Безопасный локальный стенд для RestrictedPython compiler
Control выполняется только в disposable state: скомпилировать без исполнения две короткие функции: обычную и с защищённым positional-only именем; записать только compile verdict. Сеть, shell, production database, реальные bucket, broker, SMTP, файловые пути, токены и пользовательские данные замените spies, stubs или in-memory объектами. До запуска сохраните baseline hash, нулевые counters и лимит времени/памяти. Входы должны быть короткими синтетическими маркерами; цель — проверить ветвление и ownership, а не воспроизводить эксплуатацию или усиливать воздействие.
Control, boundary-case и наблюдения
Benign control подтверждает достижимость ожидаемой ветки. Boundary-case меняет ровно один признак, связанный с болью «локальный аргумент может затенить policy hook после переписывания чувствительной операции», и не выходит за минимальный тестовый масштаб. Сохраните матрица signature class / protected name / compile result / warning / code-object counter, reason code, duration и counters до/после. Ключевое правило остаётся неизменным: компилятор отклоняет защищённое имя до создания исполняемого code object, обычная функция остаётся допустимой. Если control не достигает целевой функции или точка наблюдения двусмысленна, verdict — UNKNOWN; добавлять более сильный вход ради красивого результата нельзя.
Как вынести PASS, FAIL и UNKNOWN
PASS требует подтверждённых provenance/version, успешного benign control, соблюдения инварианты «компилятор отклоняет защищённое имя до создания исполняемого code object, обычная функция остаётся допустимой», нулевых запрещённых side effects и доказанного cleanup. FAIL — тот же provenance плюс наблюдаемое нарушение: пограничная сигнатура успешно создала code object. UNKNOWN означает, что нет digest, effective config, control, recorder либо возможности восстановить fixture. Запишите решение в матрица signature class / protected name / compile result / warning / code-object counter; один HTTP status, отсутствие exception или факт установки новой версии по отдельности недостаточны.
Красная линия и восстановление
Немедленно прекратите проверку, если пограничная сигнатура успешно создала code object. Не увеличивайте объём, глубину, число повторов и не переносите эксперимент на чужую систему. Откатите fixture к baseline, убедитесь, что counters сети, файлов, процессов, очередей и persistent writes вернулись в ожидаемое состояние, затем один раз повторите benign control. Любой неожиданный side effect блокирует PASS даже тогда, когда основной parser или policy вернул правильный код.
Почему это отдельный поисковый intent
Проверяет синтаксическую щель positional-only до выполнения; не исследует цепочки выхода из sandbox. Поэтому статья отвечает на самостоятельный запрос «проверить запрет защищённых имён guard-хуков в positional-only аргументах RestrictedPython» и не создаётся как замена бренда, ОС или устройства. Её deliverable — матрица signature class / protected name / compile result / warning / code-object counter, а измеримый stop-rule — пограничная сигнатура успешно создала code object. Если существующий URL уже покрывает ту же боль, ожидаемый ответ и дерево решения, нужен отдельный update/merge-контракт, а не новая соседняя страница.
Минимальный пакет для владельца системы
Передайте владельцу GHSA-ffg3-p8fm-mjx2, component digest, effective version/config, границу «RestrictedPython: introduced 0, fixed 8.3», описание перехода «function signature → protected-name validation → rewritten access → embedding hook», control/boundary rows, counters, verdict, stop reason и cleanup proof. Advisory опубликована 2026-08-28 и обновлена 2026-08-28; эти даты подтверждают свежесть источника, но не популярность запроса, не факт эксплуатации и не применимость к конкретному deployment. После обновления повторите тот же fixture без изменения масштаба и сравните матрица signature class / protected name / compile result / warning / code-object counter.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.
Источники и проверка
- GitHub Advisory Database — GHSA-ffg3-p8fm-mjx2 проверено 2026-09-02
- Первичный upstream-материал — RestrictedPython compiler проверено 2026-09-02
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.