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

ONNX: проверка input shape до Gemm version converter

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

Защитный разбор ONNX и ghsa-p893-rvq9-2xf9: применимость, обратимый тест «валидация числа измерений и доступных shape elements перед Gemm version conversion», измеримый исход, stop-rule и пакет для поддержки.

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

Сначала исследуется не severity, а граница «валидация числа измерений и доступных shape elements перед Gemm version conversion». Запишите версию живого процесса, build digest, путь загруженного компонента, способ установки и включённую функцию. Advisory перечисляет «onnx >= 1.3.0, <= 1.21.0; first patched 1.22.0», однако зависимость в manifest не равна доказанной runtime-версии. Отдельно установите, достижим ли путь в вашей конфигурации и какой субъект его вызывает. Если provenance или reachability не подтверждены, оставьте статус unknown.

Фактическая рамка GHSA-p893-rvq9-2xf9

Reviewed record опубликован 2026-07-24, обновлён 2026-07-24 и формулирует проблему как «ONNX: Heap-Buffer-Overflow READ in Gemm Version Converter Adapter via Undersized Input Shape». Package boundaries: «onnx >= 1.3.0, <= 1.21.0; first patched 1.22.0». Upstream https://github.com/onnx/onnx подтверждает происхождение кода, но не состояние вашей установки. Даты, affected range и механизм берутся из прямой advisory-страницы. Ни Reviewed record, ни форумный лид не доказывают атаку, ущерб, спрос, индексацию или позицию.

Отдельная боль и наблюдаемые точки: валидация числа измерений и доступных shape elements перед Gemm version conversion

Узкая пользовательская боль: undersized shape может привести к чтению вне выделенного heap вместо понятной ошибки модели. Чтобы не спутать её с ошибкой стенда, заранее задайте независимые поля артефакта: ledger shape-rank / available-elements / converter-result / sanitizer-events / exit-code / rss. Normal-control обязателен: минимальная модель с требуемым shape rank проходит converter и даёт ожидаемый graph digest. Только после него запускают один граничный case. Marker не должен быть credential, реальным идентификатором или пользовательским содержимым. Такое разделение даёт проверяемое дерево решения и не превращает timeout, падение или неверную роль в подтверждение механизма.

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

Создайте минимальная synthetic model, normal и undersized shape, sanitizer-enabled worker, лимит памяти и no-network sandbox. Затем нужно сначала конвертировать normal model, затем один undersized fixture в отдельном worker и сравнить adapter result. Все операции выполняются в локальной или одноразовой среде с пределами wall-time, CPU, памяти, файлов, сокетов и запросов. Ожидаемый защитный результат задан до запуска: normal model конвертируется, undersized fixture отклоняется до чтения элемента, sanitizer events и crash count равны нулю. Не используйте production secrets, настоящие документы, внутренние адреса, пользовательские логи или публичные цели. После граничного case очистите fixture, повторите normal-control и сравните baseline digest.

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

Решение хранится как ledger shape-rank / available-elements / converter-result / sanitizer-events / exit-code / rss. Passed возможен, когда одновременно наблюдается «normal model конвертируется, undersized fixture отклоняется до чтения элемента, sanitizer events и crash count равны нулю», normal-control успешен и cleanup возвращает baseline. Failed фиксируют лишь после воспроизводимого расхождения с тем же fixture и лимитами. Not-applicable требует доказанной runtime-версии вне range либо документированно выключенного пути. Unknown остаётся при неполном provenance, нестабильном trace или неоднозначной конфигурации. Одного status code, падения или отсутствия события недостаточно.

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

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

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

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

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

Ответы

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

Ваш ответ

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

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

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