К обсуждениям

Pillow ImageCms: проверка output mode и размера буфера

Редакция VOne Технологии

Защитный разбор Pillow и ghsa-9hw9-ch79-4vh6: применимость, безопасный test boundary «согласование output mode, channel count и выделенного buffer до ImageCmsTransform.apply», измеримый результат, stop-rule и пакет поддержки.

Определите, относится ли сигнал к Pillow

Сначала исследуется не severity, а граница «согласование output mode, channel count и выделенного buffer до ImageCmsTransform.apply». Запишите версию живого процесса, build digest, путь загруженного компонента, способ установки и включённую функцию. Advisory перечисляет «pillow < 12.3.0 → fixed 12.3.0», однако зависимость в manifest не равна доказанной runtime-версии. Отдельно установите, достижим ли путь в вашей конфигурации и какой субъект его вызывает. Если provenance или reachability не подтверждены, оставьте статус unknown. Это честнее, чем переносить оценку advisory на конкретное развёртывание без измерения.

Фактическая рамка GHSA-9hw9-ch79-4vh6

Reviewed record опубликован 2026-07-20, обновлён 2026-07-20 и формулирует проблему как «Pillow: Controlled heap out-of-bounds write in Pillow `ImageCmsTransform.apply()` via output mode mismatch». Package ranges: «pillow < 12.3.0 → fixed 12.3.0». Репозиторий python-pillow/Pillow подтверждает происхождение upstream, но не состояние вашей установки. Даты, affected range и механизм берутся из прямой advisory-страницы. Ни GitHub record, ни форумный лид не доказывают атаку, ущерб, распространённость запроса, индексацию или позицию. Любое такое утверждение потребовало бы отдельной телеметрии и источника.

Отдельная боль и наблюдаемые точки: согласование output mode, channel count и выделенного buffer до ImageCmsTransform.apply

Узкая пользовательская боль: несовпадение output mode может привести к записи за границу выделенного image buffer. Чтобы не спутать её с ошибкой стенда, заранее задайте независимые поля артефакта «матрицу input-mode / output-mode / channels / allocated-bytes / validation / canary / sanitizer-events». Нормальная ветвь обязательна: совместимая RGB transform возвращает image прежних dimensions. Только после неё запускают один граничный case. Marker не должен быть credential, реальным идентификатором или пользовательским содержимым. Такое разделение даёт проверяемое дерево решения и не превращает похожую ошибку, timeout либо неверную роль в подтверждение security-механизма.

Безопасный обратимый опыт

Создайте малое synthetic image, совместимая mode pair, несовместимая pair и guard allocator. Затем нужно выполнить compatible transform, затем mismatch case в sanitizer child и сравнить validation, output geometry и guard canary. Все операции выполняются в локальной или одноразовой среде с пределами wall-time, CPU, памяти, файлов, сокетов и запросов. Ожидаемый защитный результат определён до запуска: compatible transform даёт ожидаемый размер, mismatch отклоняется до write, canary и sanitizer log остаются чистыми. Не используйте production secrets, настоящие документы, внутренние адреса, пользовательские логи или публичные цели. После первой граничной точки очистите fixture, повторите normal-control и сравните итоговое состояние с baseline digest.

Правило решения без догадок

Решение хранится как матрицу input-mode / output-mode / channels / allocated-bytes / validation / canary / sanitizer-events. Passed возможен, когда одновременно наблюдается «compatible transform даёт ожидаемый размер, mismatch отклоняется до write, canary и sanitizer log остаются чистыми», normal-control успешен и cleanup возвращает baseline. Failed фиксируют лишь после воспроизводимого расхождения с тем же fixture и лимитами. Not-applicable требует доказанной runtime-версии вне range либо документированно выключенного пути. Unknown остаётся при неполном provenance, нестабильном trace или неоднозначной конфигурации. Одного HTTP status, падения процесса или отсутствия события недостаточно для окончательного вывода.

Остановка, обновление и пакет для поддержки

Stop-rule этого опыта: завершить child при первом guard change или sanitizer event. Если runtime входит в affected range, обновление получают из доверенного канала python-pillow/Pillow, после чего повторяют ровно тот же fixture с прежними лимитами; новый сценарий не подтверждает исправление старого. В обезличенный пакет включают runtime version, digest, конфигурационную ветвь, expected/observed, измеренные лимиты, timestamps, error class и хэши fixtures. Исключите токены, cookies, IP, внутренние имена, абсолютные пути и содержимое данных. Инструкция не обещает абсолютную защищённость.

Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт и отсутствие рекламных обещаний затем перепроверены по первичным источникам.

Источники и проверка

Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.

Ответы

0 опубликовано
Ответов пока нет. Вы можете начать обсуждение.

Ваш ответ

Добавьте свой опыт или уточнение по теме.

Вы публикуете как Аноним Аватар отличает разговоры, но не раскрывает личные данные.

Ответ появится сразу. Не публикуйте личные данные, ключи и приватные ссылки.