English version →
ログイン 新規登録
JA · EN · FR
SecPulse
カテゴリ
CVE-2020-37268 medium CVSS 6.3

Print Assumptions の脆弱性 (CVE-2020-37268)

概要

Print Assumptions に 脆弱性 (CVE-2020-37268) が存在。データの不正な改ざんを許す可能性があります。

原文の説明

取得元が公開している説明をそのまま載せています (多くは英語)。

Print Assumptions does not report that a definition was produced while universe checking was disabled when that definition reaches the caller through Parameter Inline in a module type. Applying a functor inlines the body of the parameter, and the inlining drops the record that the term was built under Unset Universe Checking, so the resulting constant carries no trace of the unsafe operation. A module implementation can therefore prove False using a universe inconsistency, expose it through an inlined parameter, and have Print Assumptions report the dependent proof as closed under the global context. Because Print Assumptions is the in-process audit used to confirm that a development rests on no unexpected assumptions, a dependency built this way passes that audit while proving arbitrary propositions. The standalone checker coqchk does reject the resulting compiled file. The project records this in dev/doc/critical-bugs.md under non-fixed bugs and rates the risk as moderate when coqchk is not used.

出典: NIST National Vulnerability Database NVD GitHub Advisory

自動生成の要約

取得元のデータ (CVSS・CWE・影響バージョンなど) から SecPulse が定型文で組み立てた要約です。AI は使っていません。正確な内容は下の原文と参照URLで確認してください。

Print Assumptions という製品で、CVE-2020-37268 という番号がついた弱点 (脆弱性) が見つかりました。
データの不正な改ざんを許す可能性があります。重要度は CVSS スコア 6.3/10 です。
対策: ベンダー公式の修正版に更新してください。
心配なら、システム担当者や製品の公式サイトで「Print Assumptions CVE-2020-37268」を検索してください。

CVE-2020-37268 (Print Assumptions) — CWE-778 / CVSS v3 6.3
攻撃ベクター: ローカル / 認証不要
対応方針: 1) SBOMで影響バージョン横断確認, 2) ステージング検証→本番更新, 3) WAF/プロキシで該当エンドポイントを監視, 4) ログでIOC調査。
参考: 当ページの『参照URL』の GHSA / vendor advisory / patched release を参照。

❓ 何が問題か

Print Assumptions に 脆弱性 (CWE-778) があります。

📍 影響範囲

Print Assumptions の影響バージョンはベンダーのアドバイザリで確認してください。

🔥 重要度

重要度: 中 (CVSS 6.3/10)。データの不正な改ざんを許す可能性があります。

🔧 修正方法

ベンダー公式アドバイザリの修正版に更新してください。

🛡️ 暫定回避

修正版が未提供時は、影響機能の無効化・WAFルール・ネットワークACLでの遮断を検討。

🔍 検知方法

Webサーバ・プロキシ・WAFログで該当CVEのIOCに合致する不審リクエストを検索。SBOM/依存ファイルで影響バージョンを横断確認。

対応アクション

SOC/SREチームが順番に実行すべき具体的なステップとコマンド例

  1. 1
    影響範囲の特定 identify 
    Audit SBOM/dependencies for affected components.

    資産台帳・SBOM・依存マニフェストで Print Assumptions を使っているサービスとバージョンを洗い出す。

  2. 2
    事後検証 verify 
    Confirm patched version is live in production

    パッチ適用後、ステージングで PoC または同等の悪用パターンを再現して脆弱性が閉じたことを確認。本番ではアクセスログ・WAF でアラート再発が無いか継続監視。

参照URL

当サイトでは、アクセス解析と広告の効果測定のために Cookie を使います。株式会社Game のサイト共通の設定です。 詳しく