Защитная проверка aws-cdk-lib по GHSA-464c-974j-9xm6: версия, изолированный fixture, PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств.
Короткий ответ для aws-cdk-lib
Проблема этой карточки конкретна: булево значение encryption может синтезировать противоположную настройку bucket logs. Рекомендуемый путь: Сначала докажите фактическую версию aws-cdk-lib. Затем выполните только изолированную проверку: локально synthesize два стека с encryption true/false и сравнить только CloudFormation JSON, ничего не разворачивая в AWS. Итог фиксируйте как PASS, FAIL или Unknown; production и реальные данные не используйте. Advisory GHSA-464c-974j-9xm6 описывает механизм «AWS CDK CodeBuild S3 Log Encryption Boolean Inversion» и указывает границу «npm/aws-cdk-lib: < 2.253.0; первая исправленная версия: 2.253.0». Это не означает, что конкретная установка уязвима или что инцидент уже произошёл. Сначала подтвердите resolved dependency, digest артефакта, ветку и реально включённую функцию. Если компонент виден только в исходном manifest, но отсутствует в runtime/SBOM, пометьте состояние как not_present, а не как PASS.
Inventory и применимость: iac_boolean
Для aws-cdk-codebuild-s3-log-encryption-synth сохраните package manager, lock-файл, runtime-версию и способ доставки компонента. Отдельно запишите advisory boundary: npm/aws-cdk-lib: < 2.253.0; первая исправленная версия: 2.253.0. Возможные решения: not_present, outside_range, affected_candidate, patched_or_backported и Unknown. Backport считается доказанным только при ссылке на commit и повторяемом regression test. Название контейнера, один HTTP 200 и отсутствие жалоб не доказывают исправление. Если невозможно связать бинарник с source revision, остановитесь на Unknown и передайте вопрос владельцу сборки.
Безопасный стенд для проверки iac_boolean
Проверка строится вокруг одного наблюдаемого действия: локально synthesize два стека с encryption true/false и сравнить только CloudFormation JSON, ничего не разворачивая в AWS. Используйте disposable окружение, синтетические данные, отключённую внешнюю сеть и заранее заданные CPU/RSS/time limits. Сначала выполните benign control, который подтверждает достижимость нужного пути. Затем один boundary-case без опубликованного exploit payload. Не копируйте production-конфигурацию, токены, имена пользователей, адреса узлов или реальные документы. После каждого случая прочитайте состояние обратно и удалите временные объекты.
Как читать результат: матрица input boolean–свойство шаблона–ожидаемое шифрование–verdict
Главный артефакт этой статьи: матрица input boolean–свойство шаблона–ожидаемое шифрование–verdict. PASS допустим, когда positive control сработал, boundary-case был безопасно отклонён и состояние осталось неизменным. FAIL требует одновременно работающего control и наблюдаемого нарушения заявленной границы. Unknown обязателен, если версия не доказана, harness не дошёл до нужной ветки, монитор не видел side effects либо ограничитель завершил тест раньше результата. Такой формат отделяет реальное наблюдение по iac_boolean от предположения по названию CVE.
Обновление без потери причинности
Если найден affected_candidate, переходите на поддерживаемую исправленную ветку, указанную upstream: 2.253.0. Сохраните исходный fixture и повторите его до и после изменения. Не меняйте одновременно dependency, права, proxy, storage и формат данных: тогда нельзя понять, что исправило verdict. Stop-rule для этой карточки: запущен deploy, использованы облачные credentials или template не различает два случая. Немедленно завершайте проверку также при появлении персональных данных, внешнего трафика, записи вне temp или реальных секретов. Защитный фильтр на периметре может снизить риск, но не заменяет исправление компонента.
Минимальный пакет доказательств по GHSA-464c-974j-9xm6
Передайте владельцу: GHSA-464c-974j-9xm6, npm/aws-cdk-lib: < 2.253.0; первая исправленная версия: 2.253.0, artifact digest, feature state, hash fixture, параметры лимитов, результат benign control, строку из «матрица input boolean–свойство шаблона–ожидаемое шифрование–verdict», итог PASS/FAIL/Unknown и точную причину Unknown. Приложите GitHub Advisory Database и прямой upstream source, но не копируйте большие фрагменты чужого текста. Отдельно укажите, что проверялась боль «булево значение encryption может синтезировать противоположную настройку bucket logs», а не весь продукт. Для повторяемости используйте ключи `aws-cdk-codebuild-s3-log-encryption-synth-inventory`, `aws-cdk-codebuild-s3-log-encryption-synth-control`, `aws-cdk-codebuild-s3-log-encryption-synth-boundary`, `aws-cdk-codebuild-s3-log-encryption-synth-readback`, `aws-cdk-codebuild-s3-log-encryption-synth-sideeffects`, `aws-cdk-codebuild-s3-log-encryption-synth-verdict`, `aws-cdk-codebuild-s3-log-encryption-synth-rollback` и `aws-cdk-codebuild-s3-log-encryption-synth-timestamp`. Тогда следующий специалист проверит тот же механизм без доступа к production.
Материал подготовлен редакцией VOne с помощью ИИ; версии, источники, безопасный fixture, stop-rule, privacy-ограничения и отсутствие рекламных обещаний перепроверены человеком.
Источники и проверка
- GitHub Advisory Database GHSA-464c-974j-9xm6 проверено 2026-09-01
- Primary upstream source for aws-cdk-lib проверено 2026-09-01
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.