Защитная диагностика http4s Blaze WebSocket: бюджет агрегированного сообщения по GHSA-7ppr-r889-mcf2: runtime inventory, bounded regression, измеримый verdict, красная линия и пакет данных для владельца.
Ответ и граница применимости — http4s Blaze WebSocket: бюджет агрегированного сообщения
Задача этой страницы — проверить общий byte budget fragmented WebSocket message в http4s-blaze-server. Сначала подтвердите фактически загруженный org.http4s:http4s-blaze-server_2.13, его digest, диапазон «Maven:org.http4s:http4s-blaze-server_2.13 >= 0, < 0.23.18; first patched 0.23.18 | Maven:org.http4s:http4s-blaze-server_2.13 >= 1.0.0-M1, < 1.0.0-M42; first patched 1.0.0-M42 | Maven:org.http4s:http4s-blaze-server_2.12 >= 0, < 0.23.18; first patched 0.23.18 | Maven:org.http4s:http4s-blaze-server_3 >= 1.0.0-M1, < 1.0.0-M42; first patched 1.0.0-M42» и включённый entry point. Затем нужен только ограниченный regression: Frame aggregator вызвать на 4/8 коротких fragments; socket и allocator заменить spies. Боль: каждый frame может быть малым, но их совокупность до FIN неограниченно удерживается в памяти. Итоговый артефакт: frame bytes / message bytes / FIN state / aggregate allocations / close verdict. GHSA GHSA-7ppr-r889-mcf2 задаёт проверяемый ориентир, но не доказывает состояние вашей установки.
Карта решения — http4s Blaze WebSocket: бюджет агрегированного сообщения
Разделите путь на Source → Parse/Normalize → Policy → Side effect. Специальная инварианта материала: Frame cap и message cap независимы; общий counter сбрасывается только после FIN или полного abort cleanup. На каждой границе укажите представление данных, владельца решения и counter. Candidate становится NOT_APPLICABLE только при доказанном отсутствии package или entry point; неизвестная runtime-версия означает UNKNOWN, а не безопасность.
Подготовка безопасного стенда — http4s Blaze WebSocket: бюджет агрегированного сообщения
Соберите temp directory, in-memory repository/cache либо pure adapter. Примените протокол: Frame aggregator вызвать на 4/8 коротких fragments; socket и allocator заменить spies. Используйте короткие canary labels; пользовательские записи, токены, IP, реальные конфиги, production routes и environment dump запрещены. Network, shell, database, filesystem, browser и session issuance замените spies. До control сохраните hash fixture и нулевые counters.
Control и одна переменная — http4s Blaze WebSocket: бюджет агрегированного сообщения
Разрешённый control подтверждает, что harness достигает нужной ветки. Boundary-case меняет ровно один параметр и обязан остановиться до состояния «каждый frame может быть малым, но их совокупность до FIN неограниченно удерживается в памяти». Сохраните поля frame bytes / message bytes / FIN state / aggregate allocations / close verdict, reason code и monotonic duration. Frame cap и message cap независимы; общий counter сбрасывается только после FIN или полного abort cleanup. Не наращивайте размер/глубину после первого превышения и не используйте эксплуатационные payload.
Вердикт без догадок — http4s Blaze WebSocket: бюджет агрегированного сообщения
PASS: runtime и entry point подтверждены, control прошёл, boundary остановлен до side effect, cleanup доказан. FAIL: та же provenance и наблюдаемый запрещённый counter/state. UNKNOWN: нет digest, конфигурации, control, точки наблюдения или восстановления. NOT_APPLICABLE: компонент либо функция доказанно отсутствуют. Номер patched release без runtime readback не является PASS.
Красная линия и восстановление — http4s Blaze WebSocket: бюджет агрегированного сообщения
Немедленный стоп: message bytes превысили cap, buffer не освобождён после close или следующий control сломан. После стопа не повторяйте проверку с большим вводом. Верните disposable state к исходному hash, освободите объекты и выполните один benign control. Ненулевой неожиданный counter сети, процессов, файлов, записей или сессий блокирует PASS и фиксируется отдельно.
Почему нужен отдельный материал — http4s Blaze WebSocket: бюджет агрегированного сообщения
Добавляет message-level counter поверх frame limit и проверяет освобождение при controlled close. Не stdio line buffer: самостоятельная WebSocket fragmentation state и aggregation lifecycle. Поэтому механическая замена framework, ОС или устройства не создаёт новый URL. Практическая самостоятельность выражена в deliverable «frame bytes / message bytes / FIN state / aggregate allocations / close verdict» и в инварианте: Frame cap и message cap независимы; общий counter сбрасывается только после FIN или полного abort cleanup. Совпадающий старый intent должен стать update/merge-кандидатом.
Минимальный handoff — http4s Blaze WebSocket: бюджет агрегированного сообщения
Передайте владельцу GHSA GHSA-7ppr-r889-mcf2, runtime digest, границу «Maven:org.http4s:http4s-blaze-server_2.13 >= 0, < 0.23.18; first patched 0.23.18 | Maven:org.http4s:http4s-blaze-server_2.13 >= 1.0.0-M1, < 1.0.0-M42; first patched 1.0.0-M42 | Maven:org.http4s:http4s-blaze-server_2.12 >= 0, < 0.23.18; first patched 0.23.18 | Maven:org.http4s:http4s-blaze-server_3 >= 1.0.0-M1, < 1.0.0-M42; first patched 1.0.0-M42», entry point, sanitized config, control/boundary rows, counters, verdict, stop reason и cleanup proof. Advisory опубликована 2026-07-24, обновлена 2026-08-12; эти даты отражают свежесть источника, а не популярность запроса или факт эксплуатации. После remediation повторите тот же fixture и сравните state transition.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; версии, даты, границы и ссылки вручную сверены по GitHub Advisory Database и прямой upstream-странице. Текст самостоятельный, не копирует источник и не содержит эксплуатационных шагов.
Источники и проверка
- GitHub Advisory Database — GHSA-7ppr-r889-mcf2 проверено 2026-09-02
- Первичный upstream advisory — org.http4s:http4s-blaze-server_2.13 проверено 2026-09-02
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.