Защитная диагностика veraPDF validation model: безопасная DocumentBuilderFactory по GHSA-cg9x-g3gm-h5h6: runtime inventory, bounded regression, измеримый verdict, красная линия и пакет данных для владельца.
Ответ и граница применимости — veraPDF validation model: безопасная DocumentBuilderFactory
Задача этой страницы — проверить запрет external entities при обработке XML внутри PDF. Сначала подтвердите фактически загруженный org.verapdf:validation-model, его digest, диапазон «Maven:org.verapdf:validation-model <= 1.30.1; first patched 1.30.2 | Maven:org.verapdf:validation-model <= 1.31.70; first patched 1.31.71 | Maven:org.verapdf:validation-model-jakarta <= 1.30.1; first patched 1.30.2 | Maven:org.verapdf:validation-model-jakarta <= 1.31.70; first patched 1.31.71» и включённый entry point. Затем нужен только ограниченный regression: Factory создать в unit test; разобрать маленький XML с example.invalid system ID, resolver/network заменить spies. Боль: XML parser может читать внешний ресурс при default factory settings. Итоговый артефакт: factory flags / entity resolver / external fetch calls / verdict. GHSA GHSA-cg9x-g3gm-h5h6 задаёт проверяемый ориентир, но не доказывает состояние вашей установки.
Карта решения — veraPDF validation model: безопасная DocumentBuilderFactory
Разделите путь на Source → Parse/Normalize → Policy → Side effect. Специальная инварианта материала: Secure flags проверяются readback/assertion перед parse; unsupported feature приводит к fail-closed, а не тихому default. На каждой границе укажите представление данных, владельца решения и counter. Candidate становится NOT_APPLICABLE только при доказанном отсутствии package или entry point; неизвестная runtime-версия означает UNKNOWN, а не безопасность.
Подготовка безопасного стенда — veraPDF validation model: безопасная DocumentBuilderFactory
Соберите temp directory, in-memory repository/cache либо pure adapter. Примените протокол: Factory создать в unit test; разобрать маленький XML с example.invalid system ID, resolver/network заменить spies. Используйте короткие canary labels; пользовательские записи, токены, IP, реальные конфиги, production routes и environment dump запрещены. Network, shell, database, filesystem, browser и session issuance замените spies. До control сохраните hash fixture и нулевые counters.
Control и одна переменная — veraPDF validation model: безопасная DocumentBuilderFactory
Разрешённый control подтверждает, что harness достигает нужной ветки. Boundary-case меняет ровно один параметр и обязан остановиться до состояния «XML parser может читать внешний ресурс при default factory settings». Сохраните поля factory flags / entity resolver / external fetch calls / verdict, reason code и monotonic duration. Secure flags проверяются readback/assertion перед parse; unsupported feature приводит к fail-closed, а не тихому default. Не наращивайте размер/глубину после первого превышения и не используйте эксплуатационные payload.
Вердикт без догадок — veraPDF validation model: безопасная DocumentBuilderFactory
PASS: runtime и entry point подтверждены, control прошёл, boundary остановлен до side effect, cleanup доказан. FAIL: та же provenance и наблюдаемый запрещённый counter/state. UNKNOWN: нет digest, конфигурации, control, точки наблюдения или восстановления. NOT_APPLICABLE: компонент либо функция доказанно отсутствуют. Номер patched release без runtime readback не является PASS.
Красная линия и восстановление — veraPDF validation model: безопасная DocumentBuilderFactory
Немедленный стоп: external fetch/file resolver вызван либо DOCTYPE принят вопреки policy. После стопа не повторяйте проверку с большим вводом. Верните disposable state к исходному hash, освободите объекты и выполните один benign control. Ненулевой неожиданный counter сети, процессов, файлов, записей или сессий блокирует PASS и фиксируется отдельно.
Почему нужен отдельный материал — veraPDF validation model: безопасная DocumentBuilderFactory
Даёт конфигурационный assertion и offline entity-resolver spy. Не CMap CPU budget: отдельная XML external-resource capability validation-model. Поэтому механическая замена framework, ОС или устройства не создаёт новый URL. Практическая самостоятельность выражена в deliverable «factory flags / entity resolver / external fetch calls / verdict» и в инварианте: Secure flags проверяются readback/assertion перед parse; unsupported feature приводит к fail-closed, а не тихому default. Совпадающий старый intent должен стать update/merge-кандидатом.
Минимальный handoff — veraPDF validation model: безопасная DocumentBuilderFactory
Передайте владельцу GHSA GHSA-cg9x-g3gm-h5h6, runtime digest, границу «Maven:org.verapdf:validation-model <= 1.30.1; first patched 1.30.2 | Maven:org.verapdf:validation-model <= 1.31.70; first patched 1.31.71 | Maven:org.verapdf:validation-model-jakarta <= 1.30.1; first patched 1.30.2 | Maven:org.verapdf:validation-model-jakarta <= 1.31.70; first patched 1.31.71», entry point, sanitized config, control/boundary rows, counters, verdict, stop reason и cleanup proof. Advisory опубликована 2026-07-29, обновлена 2026-07-29; эти даты отражают свежесть источника, а не популярность запроса или факт эксплуатации. После remediation повторите тот же fixture и сравните state transition.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; версии, даты, границы и ссылки вручную сверены по GitHub Advisory Database и прямой upstream-странице. Текст самостоятельный, не копирует источник и не содержит эксплуатационных шагов.
Источники и проверка
- GitHub Advisory Database — GHSA-cg9x-g3gm-h5h6 проверено 2026-09-02
- Первичный upstream advisory — org.verapdf:validation-model проверено 2026-09-02
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.