Защитная памятка по docx4j и GHSA-gc95-3vw8-vg43: граница версий, безопасный synthetic-тест, матрица наблюдений, stop-критерий, канарейка, возврат и очищенный пакет владельцу без опасного payload.
Решение для docx4j
Задача этой карточки — получить проверяемое решение, не воспроизводя опасный сценарий. Официальная security-карточка GHSA-gc95-3vw8-vg43 подтверждает следующий технический класс: PropertyResolver и соседние helpers рекурсивно обходили w:basedOn без cycle detection, поэтому цикл стилей мог вызвать StackOverflowError. Первичный сигнал фиксирует область версий — версии docx4j-core до 11.5.13 включительно; patched-версия 11.5.14 — но не говорит, установлен ли компонент у конкретной команды и достижим ли проблемный путь. Отсюда правило: стартовый статус всегда unknown. Его меняют только затем сопоставления фактически загруженного runtime, включённой функции и evidence из первичного release-страницы. Рабочая задача формулируется без обещаний: можно ли безопасно показать, что исправленный docx4j сохраняет штатную функцию и закрывает именно описанную границу? Ответ нельзя строить по одному номеру в manifest, тишине журнала или зелёному health-check. Рабочий лист именно для этой темы разворачивает цепочку без универсальных подстановок. Зафиксированный механизм: PropertyResolver и соседние helpers рекурсивно обходили w:basedOn без cycle detection, поэтому цикл стилей мог вызвать StackOverflowError. Версионная отсечка: версии docx4j-core до 11.5.13 включительно; patched-версия 11.5.14. Локальная процедура наблюдения: сформировать минимальный документ с обычной цепочкой стилей и второй документ с малым циклом A–B–A без внешних данных; затем controlled error разобрать ещё один нормальный файл. Её нормальный защитный исход: обычная цепочка разрешена, цикл остановлен до stack exhaustion, тот же процесс обслуживает следующий документ. Недопустимое расширение опыта сформулировано заранее: тест увеличивает глубину до исчерпания стека, использует пользовательский DOCX или запускается в общем конвертере. Для затемдующей независимой сверки владелец заполняет поля «document | style nodes | cycle | depth | resolver result | next document» и выполняет remediation «обновить docx4j-core до 11.5.14 или новее и оставить depth/cycle telemetry для внешних документов». Этот комплект наблюдений связывает причину, версию, измерение, отказ, сохранение функции и возврат именно для docx4j; если хотя бы одно звено отсутствует, уверенность не повышают и решение остаётся на повторной проверке.
Граница применимости
Инвентарь собирают по схеме «document | style nodes | cycle | depth | resolver result | next document». Для каждой реплики отдельно прикладывают loaded version, digest артефакта, способ resolution зависимости, owner и доступность функции. Lockfile, image tag и панель обновления являются указателями, а не доказательством работающего кода. Подтверждённая remediation-опора: обновить docx4j-core до 11.5.14 или новее и оставить depth/cycle telemetry для внешних документов. Там, где версия видна только в файле сборки или не удалось связать process с артефактом, вердикт остаётся blocked. В журнал не переносят hostname, IP, usernames, cookies, токены, полные environment, пользовательские объекты и содержимое базы. Такая дисциплина отличает not affected by reachability от простого отсутствия жалоб.
Минимальный изолированный стенд
Стенд должен быть одноразовым, без внешних пользователей и с жёстким лимитом времени, памяти, файлов или событий. Безопасный regression-класс для этой темы: сформировать минимальный документ с обычной цепочкой стилей и второй документ с малым циклом A–B–A без внешних данных; затем controlled error разобрать ещё один нормальный файл. Перед запуском выполняют положительный контроль, затем меняют ровно один параметр для отрицательного, затем чего повторяют нормальную операцию. Expected outcome записывается до запуска; observed outcome — затем, без подгонки. Никакой вердикт теста здесь не заявляется как уже полученный: это процедура, которую дежурному владельцу ещё предстоит выполнить в своей среде. Для cleanup заранее задают удаление synthetic fixtures и возврат исходной конфигурации тестовая средаа.
Наблюдения до и после
До обновления прикладывают baseline по тем же полям: document | style nodes | cycle | depth | resolver result | next document. После установки исправления повторяют идентичный harness и сравнивают не только ответ проблемной ветви, но и обычную функцию, resource ceiling и следующую операцию. Целевой признак сформулирован конкретно: обычная цепочка разрешена, цикл остановлен до stack exhaustion, тот же процесс обслуживает следующий документ. Timeout сам по себе двусмыслен — он может означать защитный отказ, сломанный маршрут или потерю наблюдаемости. Отсюда правило: required evidence включает status, очищенный reason, digest, счётчик перезапусков и отсутствие нежелательного изменения состояния. Там, где положительный контроль перестал работать, отрицательный ответ нельзя объявить защитой.
Развилка вердикта
Verdict passed допустим только при одновременном выполнении четырёх условий: runtime входит в исправленную область, штатный сценарий успешен, ограниченный отрицательный сценарий получает ожидаемый ранний отказ, а состояние затем опыта совпадает с baseline. Failed означает нарушение хотя бы одного проверяемого инварианта. Blocked выбирают, если неизвестны loaded version, reachability или наблюдаемость. Специальная строка решения для docx4j — «document | style nodes | cycle | depth | resolver result | next document». Стоп-линия также предметна: тест увеличивает глубину до исчерпания стека, использует пользовательский DOCX или запускается в общем конвертере. При её достижении опыт прекращают, прикладывают только обезличенный error-class и не расширяют вход ради наглядности.
Канарейка и возврат
Изменение выпускают одной канарейкой: обновить docx4j-core до 11.5.14 или новее и оставить depth/cycle telemetry для внешних документов. Рядом должны лежать прежний digest, совместимый snapshot и проверенная команда возврата. Code rollback и state rollback отмечают раздельно, поскольку старый бинарник не обязательно понимает уже изменённое состояние. На канарейке вновь выполняют положительный и отрицательный контроли, затем выдерживают малое окно наблюдения. Распространение останавливают при росте ошибок, ресурсов, restart counter, при изменении штатного вердикта или утрате telemetry. Исчезновение исходного симптома без сохранности нормальной функции не является основанием для общего зелёного verdict.
Пакет владельцу
Достаточный очищенный пакет содержит GHSA-gc95-3vw8-vg43, URL advisory и первичной release/registry-страницы, версии до и затем, SHA-256 или image digest, timestamp Europe/Moscow, expected/observed и строку «document | style nodes | cycle | depth | resolver result | next document». Добавляют длительность малого окна, статус snapshot и один обезличенный reason. Удаляют абсолютные домашние пути, адреса, идентификаторы аккаунтов, ключи, session values, сырой payload и пользовательские документы. Источники подтверждают класс дефекта и существование обновлённой поставки 11.5.14, но не заменяют локальную проверку, не доказывают затронутость конкретной установки и ничего не обещают о будущей индексации или позициях страницы.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, версии и ссылки перепроверены. Реальные пользовательские данные, активные опасные payload и вымышленные результаты тестов не использовались.
Источники и проверка
- GitHub Advisory Database: GHSA-gc95-3vw8-vg43 проверено 2026-08-30
- Maven Central: docx4j-core 11.5.14 проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.