Защитная проверка Magick.NET-Q16-AnyCPU по GHSA-pjxj-pchx-4c3m: версия, изолированный fixture, PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств.
Короткий ответ для Magick.NET-Q16-AnyCPU
Проблема этой карточки конкретна: integer conversion в XCF decoder может привести к чтению за границей буфера. Рекомендуемый путь: Сначала докажите фактическую версию Magick.NET-Q16-AnyCPU. Затем выполните только изолированную проверку: на patched build прогнать официальный regression fixture и два корректных tiny XCF под sanitizer и memory limit, не используя неизвестные файлы. Итог фиксируйте как PASS, FAIL или Unknown; production и реальные данные не используйте. Advisory GHSA-pjxj-pchx-4c3m описывает механизм «ImageMagick: Heap Buffer Over-Read in XCF decoder due to integer conversion overflow» и указывает границу «nuget/Magick.NET-Q16-AnyCPU: < 14.15.0; первая исправленная версия: 14.15.0». Это не означает, что конкретная установка уязвима или что инцидент уже произошёл. Сначала подтвердите resolved dependency, digest артефакта, ветку и реально включённую функцию. Если компонент виден только в исходном manifest, но отсутствует в runtime/SBOM, пометьте состояние как not_present, а не как PASS.
Inventory и применимость: image_decoder
Для magicknet-xcf-decoder-size-guard сохраните package manager, lock-файл, runtime-версию и способ доставки компонента. Отдельно запишите advisory boundary: nuget/Magick.NET-Q16-AnyCPU: < 14.15.0; первая исправленная версия: 14.15.0. Возможные решения: not_present, outside_range, affected_candidate, patched_or_backported и Unknown. Backport считается доказанным только при ссылке на commit и повторяемом regression test. Название контейнера, один HTTP 200 и отсутствие жалоб не доказывают исправление. Если невозможно связать бинарник с source revision, остановитесь на Unknown и передайте вопрос владельцу сборки.
Безопасный стенд для проверки image_decoder
Проверка строится вокруг одного наблюдаемого действия: на patched build прогнать официальный regression fixture и два корректных tiny XCF под sanitizer и memory limit, не используя неизвестные файлы. Используйте disposable окружение, синтетические данные, отключённую внешнюю сеть и заранее заданные CPU/RSS/time limits. Сначала выполните benign control, который подтверждает достижимость нужного пути. Затем один boundary-case без опубликованного exploit payload. Не копируйте production-конфигурацию, токены, имена пользователей, адреса узлов или реальные документы. После каждого случая прочитайте состояние обратно и удалите временные объекты.
Как читать результат: таблица fixture hash–decoder result–sanitizer–RSS–next decode
Главный артефакт этой статьи: таблица fixture hash–decoder result–sanitizer–RSS–next decode. PASS допустим, когда positive control сработал, boundary-case был безопасно отклонён и состояние осталось неизменным. FAIL требует одновременно работающего control и наблюдаемого нарушения заявленной границы. Unknown обязателен, если версия не доказана, harness не дошёл до нужной ветки, монитор не видел side effects либо ограничитель завершил тест раньше результата. Такой формат отделяет реальное наблюдение по image_decoder от предположения по названию CVE.
Обновление без потери причинности
Если найден affected_candidate, переходите на поддерживаемую исправленную ветку, указанную upstream: 14.15.0. Сохраните исходный fixture и повторите его до и после изменения. Не меняйте одновременно dependency, права, proxy, storage и формат данных: тогда нельзя понять, что исправило verdict. Stop-rule для этой карточки: sanitizer сообщает out-of-bounds, процесс падает или следующий benign decode не проходит. Немедленно завершайте проверку также при появлении персональных данных, внешнего трафика, записи вне temp или реальных секретов. Защитный фильтр на периметре может снизить риск, но не заменяет исправление компонента.
Минимальный пакет доказательств по GHSA-pjxj-pchx-4c3m
Передайте владельцу: GHSA-pjxj-pchx-4c3m, nuget/Magick.NET-Q16-AnyCPU: < 14.15.0; первая исправленная версия: 14.15.0, artifact digest, feature state, hash fixture, параметры лимитов, результат benign control, строку из «таблица fixture hash–decoder result–sanitizer–RSS–next decode», итог PASS/FAIL/Unknown и точную причину Unknown. Приложите GitHub Advisory Database и прямой upstream source, но не копируйте большие фрагменты чужого текста. Отдельно укажите, что проверялась боль «integer conversion в XCF decoder может привести к чтению за границей буфера», а не весь продукт. Для повторяемости используйте ключи `magicknet-xcf-decoder-size-guard-inventory`, `magicknet-xcf-decoder-size-guard-control`, `magicknet-xcf-decoder-size-guard-boundary`, `magicknet-xcf-decoder-size-guard-readback`, `magicknet-xcf-decoder-size-guard-sideeffects`, `magicknet-xcf-decoder-size-guard-verdict`, `magicknet-xcf-decoder-size-guard-rollback` и `magicknet-xcf-decoder-size-guard-timestamp`. Тогда следующий специалист проверит тот же механизм без доступа к production.
Материал подготовлен редакцией VOne с помощью ИИ; версии, источники, безопасный fixture, stop-rule, privacy-ограничения и отсутствие рекламных обещаний перепроверены человеком.
Источники и проверка
- GitHub Advisory Database GHSA-pjxj-pchx-4c3m проверено 2026-09-01
- Primary upstream source for Magick.NET-Q16-AnyCPU проверено 2026-09-01
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.