Безопасная проверка MessagePack Unpacker по ghsa-6v7p-g79w-8964: применимость, обратимый опыт для границы «discard or explicit reset of streaming parser after any structural error», матрица результата и stop-rule без production-данных.
Отделите advisory от установки MessagePack Unpacker
Сначала отделите факт advisory от гипотезы о своей установке MessagePack Unpacker. Зафиксируйте package source, рабочая сборка version, build digest, feature/config reachability и роль, которая достигает ветви. GitHub Reviewed Advisory сообщает «MessagePack for Python: Out-of-bounds read / crash on Unpacker reuse after a caught error», даты 2026-06-19/2026-07-31 и границы «msgpack <= 1.2.0; first patched 1.2.1». Это не доказывает affected code в конкретной сборке: fork и vendor backport требуют commit provenance. Пока provenance или reachability неизвестны, статус только unknown, без вывода об эксплуатации, популярности или ущербе.
Назовите отдельный защитный invariant
Опишите один узкий invariant: discard or explicit reset of streaming parser after any structural error. Отдельная боль пользователя: caller catches error and reuses corrupted parser state, что приводит к неверным данным или crash. Укажите субъект, объект, trust boundary, решение policy и самый ранний чувствительный side effect. Pass-критерий задайте заранее: after error same unpacker rejects further use safely; fresh unpacker parses normal control. Он отличается от общего «ошибки нет»: защита обязана сработать до read, send, execute, write, cache commit, credential issue или process exit. Решающий артефакт — step / input-class / error / state-after / reused / crash-flag; в нём нет имён, IP, содержимого файлов и персональных данных.
Проведите дифференциальный обратимый опыт
Создайте обратимый контрольное окружение: byte-array stream with valid frame, malformed frame and follow-up valid frame inside subprocess harness. Затем feed sequences, catch only public exception and record lifecycle state/panic/crash flag. Все значения синтетические, сеть отключена либо loopback-only, filesystem ограничен mkdtemp, persistence — in-memory или rollback transaction. Добавьте positive control и boundary case, одинаковый timeout и deterministic ordering. До запуска сохраните input digest и expected row; после — result class, counters, final-state digest и cleanup proof. Нагрузочный или эксплуатационный вариант не нужен и запрещён.
Прочитайте матрицу до side effect
Заполните матрицу «step / input-class / error / state-after / reused / crash-flag» строка за строкой. Сопоставьте observed с правилом «after error same unpacker rejects further use safely; fresh unpacker parses normal control», в отдельном поле отмечая stage решения и факт любого побочного эффекта. Positive control обязан пройти тот же код: иначе deny может означать сломанный контрольное окружение. Для гонки или cache/state темы изменяйте только детерминированный interleaving и повторяйте малое число раз. Green возможен, когда безопасный сценарий работает, пограничный отклонён раньше действия, а state digest соответствует ожидаемому.
Подтвердите механизм исправления
Проверьте patch provenance по смыслу: diff должен реализовать «discard or explicit reset of streaming parser after any structural error», а не просто изменить номер релиза. На одном fixture сравните текущую и candidate build и сохраните «step / input-class / error / state-after / reused / crash-flag». Диапазон «msgpack <= 1.2.0; first patched 1.2.1» используйте как фильтр, не как доказательство. Если update требует rollout, эта статья не разрешает production change: нужен отдельный контракт с backup, canary, readiness и rollback. Не обещайте, что один фикс закрывает весь класс риска или даёт поисковый итог.
Примените stop-rule и privacy boundary
Stop-rule: остановить опыт до long fuzzing, external payload, unbounded loop or shared parser. Также остановите опыт при внешнем адресе, real credential, privilege prompt, данных вне fixture, необратимой записи, росте ресурсов, отсутствии normal control или cleanup. Статус будет blocked, а не «почти прошёл». Для сопровождения передайте ghsa-6v7p-g79w-8964, MessagePack Unpacker, version/build provenance, «msgpack <= 1.2.0; first patched 1.2.1», sanitized «step / input-class / error / state-after / reused / crash-flag», expected/observed, stop reason и прямые source URLs. Не публикуйте payload, чужие логи, конфиги и приватные ссылки.
Завершите деревом решения
Дерево решения для MessagePack Unpacker: proven patched/non-affected build — not-applicable; недостижимая по документированной конфигурации ветвь — not-reachable; candidate build выполняет «after error same unpacker rejects further use safely; fresh unpacker parses normal control» — ready-for-reviewed-update; наблюдается «caller catches error and reuses corrupted parser state, что приводит к неверным данным или crash» — fail и эскалация владельцу. Иначе unknown. К каждому листу приложите один факт из «step / input-class / error / state-after / reused / crash-flag» и criterion «остановить опыт до long fuzzing, external payload, unbounded loop or shared parser». Такой ответ самостоятельный: он решает конкретный intent через reversible test, matrix, red flags и минимальный support packet, а не размножает страницу заменой бренда.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.
Источники и проверка
- GitHub Reviewed Advisory ghsa-6v7p-g79w-8964 проверено 2026-08-31
- Upstream-репозиторий MessagePack Unpacker проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.