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

http4k: проверка лимита распакованного gzip body

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

Практическая защитная проверка для http4k и ghsa-g4w2-6h2r-3m3w: применимость, один обратимый стендовый опыт, критерий остановки и минимальный пакет владельцу без опасного payload.

Где проходит граница http4k

Тема требует точного определения ресурса, процесса и владельца. Для http4k запись ghsa-g4w2-6h2r-3m3w описывает конкретный механизм: GZip/GunZip filters могли распаковывать request body без верхнего лимита и исчерпывать JVM heap. Проверенная граница пакета: maven:org.http4k:http4k-core >= 5.0.0.0, < 5.42.0.0; первая исправленная 5.42.0.0; maven:org.http4k:http4k-core <= 4.48.2.0; исправленная граница в записи не указана; maven:org.http4k:http4k-core >= 6.0.0.0, < 6.49.0.0; первая исправленная 6.49.0.0. Сопоставьте её не только с lockfile, но и с artifact, который загрузил процесс: версия, digest, путь запуска и источник сборки должны указывать на один экземпляр. Если http4k отсутствует либо функция выключена, зафиксируйте not-applicable с доказательством. Если путь есть, а происхождение сборки неясно, оставьте unknown. Backport считается исправлением только при документированном upstream change и воспроизводимом build provenance. Severity high помогает расставить приоритет, но не доказывает ущерб или эксплуатацию в вашей системе. Даты GitHub — это дата публикации 2026-08-17 и обновления 2026-08-17, а не журнал конкретного сервера.

Карта наблюдений для http4k

Соберите одну рабочую таблицу именно для этой боли. В неё входят: ветка http4k, активные filters, compressed/decompressed limits, heap budget, timeout и health probe. Для каждого элемента укажите observed, expected, owner и evidence; пустое поле означает unknown, а не безопасное состояние. Отдельными строками запишите вход, точку policy или parser, побочный объект и способ увидеть отказ. Так можно отличить механизм «GZip/GunZip filters могли распаковывать request body без верхнего лимита и исчерпывать JVM heap» от ошибки proxy, cache, прав, старого процесса или смешанных версий на узлах. Снимок делают до update и после него одинаковым способом. Не сохраняйте cookies, tokens, реальные адреса, пользовательские данные, полные логи и домашние пути. Красный health до изменения — самостоятельный инцидент: его нельзя выдавать за результат проверки ghsa-g4w2-6h2r-3m3w. Итог этой стадии — узкая гипотеза и заранее назначенный человек, который остановит опыт.

Ограниченный опыт без эксплуатации

Безопасный стендовый сценарий для http4k: в отдельном JVM обработать маленький обычный gzip и ограниченный fixture, чей раскрытый размер чуть выше настроенного низкого порога. Сначала выполните нормальное действие A, затем один граничный случай B и снова нормальное действие A2. Одновременно не меняйте dependency, network policy, права и storage. Критерий записывается до запуска: обычный body достигает handler, превышение отклоняется до полной материализации, health и heap возвращаются к baseline. Полученный 500, timeout, crash, ручная правка, пустой ответ или отсутствие записи в журнале не считаются подтверждением. Fixture должен быть синтетическим, размер и время — ограниченными, а среда — disposable. Не используйте рабочий payload advisory и не направляйте запрос к чужой системе. Если A2 отличается от A, эксперимент завершён неуспешно даже при ожидаемом ответе на B: сначала восстановите baseline и выясните побочный эффект.

Решение, остановка и очистка

Решение passed-bounded-check допустимо лишь при одновременном совпадении package boundary, фактического digest, результата A/B/A2 и зелёного health после очистки. В остальных случаях используйте update-required, patched-unverified, failed-safe-check или unknown. Жёсткая стоп-линия: предлагается gzip bomb, гигабайтный выход, production endpoint или увеличение heap. После остановки не повышайте нагрузку, глубину, права или длительность. План возврата для этой карточки: остановить JVM, удалить fixtures, вернуть test limit и повторить health. Владельцу передайте минимальный набор: artifact digest, размеры до/после, коды ответов, peak heap и cleanup. Добавьте время, ожидаемый исход, две прямые ссылки и ответственного за cleanup. Такой пакет позволяет независимо повторить рассуждение, но не превращает локальный опыт в общую гарантию безопасности http4k, не доказывает спрос и не обещает индексацию либо позиции.

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

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

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

Ответы

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

Ваш ответ

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

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

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