Безопасная проверка python-zeroconf parser по ghsa-qc2x-6f54-m6h9: применимость, обратимый опыт для границы «declared record length must fit remaining packet before answer construction», матрица результата и stop-rule без production-данных.
Отделите advisory от установки python-zeroconf parser
Сначала отделите факт advisory от гипотезы о своей установке python-zeroconf parser. Зафиксируйте package source, активный процесс version, build digest, feature/config reachability и роль, которая достигает ветви. GitHub Reviewed Advisory сообщает «zeroconf: Unvalidated rdlength in record payload readers allows LAN-local cache corruption via crafted mDNS packet», даты 2026-06-22/2026-06-22 и границы «zeroconf < 0.149.16; first patched 0.149.16». Это не подтверждает affected code в конкретной сборке: fork и vendor backport требуют commit provenance. Пока provenance или reachability неизвестны, статус только unknown, без вывода об эксплуатации, популярности или ущербе.
Назовите отдельный защитный invariant
Опишите один узкий invariant: declared record length must fit remaining packet before answer construction. Отдельная боль пользователя: oversized rdlength yields truncated slice but answer enters cache before later parse error. Укажите субъект, объект, trust boundary, решение policy и самый ранний чувствительный side effect. Pass-критерий задайте заранее: exact parses; insufficient bytes return typed error with cache-appends=0 and unchanged offset contract. Он отличается от общего «ошибки нет»: защита обязана сработать до read, send, execute, write, cache commit, credential issue или process exit. Решающий артефакт — declared / remaining / slice-length / offset-after / answers / cache-appends; в нём нет имён, IP, содержимого файлов и персональных данных.
Проведите дифференциальный обратимый опыт
Создайте обратимый стенд: byte-array packets with exact, short and oversized declared lengths plus fake cache counter. Затем parse one record and verify bounds before offset advance or answer append. Все значения синтетические, сеть отключена либо 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
Заполните матрицу «declared / remaining / slice-length / offset-after / answers / cache-appends» строка за строкой. Сопоставьте observed с правилом «exact parses; insufficient bytes return typed error with cache-appends=0 and unchanged offset contract», самостоятельно отмечая stage решения и факт любого побочного эффекта. Positive control обязан пройти тот же код: иначе deny может означать сломанный стенд. Для гонки или cache/state темы изменяйте только детерминированный interleaving и повторяйте малое число раз. Green возможен, когда безопасный сценарий работает, пограничный отклонён раньше действия, а state digest соответствует ожидаемому.
Подтвердите механизм исправления
Проверьте patch provenance по смыслу: diff гарантированно должен реализовать «declared record length must fit remaining packet before answer construction», а не просто изменить номер релиза. На одном контрольный набор сравните текущую и candidate build и сохраните «declared / remaining / slice-length / offset-after / answers / cache-appends». Диапазон «zeroconf < 0.149.16; first patched 0.149.16» используйте как фильтр, не как доказательство. Если update требует rollout, эта статья не разрешает production change: нужен отдельный контракт с backup, canary, readiness и rollback. Не обещайте, что один фикс закрывает весь класс риска или даёт поисковый исход.
Примените stop-rule и privacy boundary
Stop-rule: остановить опыт до LAN socket, multicast, real service name or cache shared by активный процесс. Также прекратите опыт при внешнем адресе, real credential, privilege prompt, данных вне контрольный набор, необратимой записи, росте ресурсов, отсутствии normal control или cleanup. Статус будет blocked, а не «почти прошёл». Для сопровождения передайте ghsa-qc2x-6f54-m6h9, python-zeroconf parser, version/build provenance, «zeroconf < 0.149.16; first patched 0.149.16», sanitized «declared / remaining / slice-length / offset-after / answers / cache-appends», expected/observed, stop reason и прямые source URLs. Не публикуйте payload, чужие логи, конфиги и приватные ссылки.
Завершите деревом решения
Дерево решения для python-zeroconf parser: proven patched/non-affected build — not-applicable; недостижимая по документированной конфигурации ветвь — not-reachable; candidate build выполняет «exact parses; insufficient bytes return typed error with cache-appends=0 and unchanged offset contract» — ready-for-reviewed-update; наблюдается «oversized rdlength yields truncated slice but answer enters cache before later parse error» — fail и эскалация владельцу. Иначе unknown. К каждому листу приложите один факт из «declared / remaining / slice-length / offset-after / answers / cache-appends» и criterion «остановить опыт до LAN socket, multicast, real service name or cache shared by активный процесс». Такой ответ самостоятельный: он решает конкретный intent через reversible test, matrix, red flags и минимальный support packet, а не размножает страницу заменой бренда.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.
Источники и проверка
- GitHub Reviewed Advisory ghsa-qc2x-6f54-m6h9 проверено 2026-08-31
- Upstream-репозиторий python-zeroconf parser проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.