OP-TTEE SHA-3/RSA Accelerator Heap Overflow Vulnerabilities Analysis (CVE-2026-40257/CVE-2026-33662)

脆弱性概要 SecMate の自動分析により、OP-TTEE（Arm TrustZone のオープンソースな信頼できるオペレーティングシステム）内の特権付き OP-TTEE コア内で3つのメモリ安全性の脆弱性が発見されました。これらの脆弱性はメモリ破損を引き起こし、秘匿性と完全性に影響を及ぼす可能性があります。 SHA-3 高速化処理における最終化時のヒープオーバーフロー（CVE-2026-40257） RSASSA PKCS#1 v1.5 エンコーディングにおけるアンダーフロー（CVE-2026-33662） SE050 RSA NOPAD におけるヒープアンダーフロー（CVE 未割り当て、OP-TTEE 側でバグとして扱われる） これらの脆弱性はすべて、符号なし算術のラップアラウンドによりバッファ領域への境界外書き込みを引き起こし、セキュアワールドとノーマルワールド間の分離境界を破壊します。 --- 影響範囲 SHA-3 脆弱性：Arm v8.2 の SHA-3 高速化パスを使用するプラットフォーム（CAAM、HiSilicon、Versal、SE050）に影響を与えます。13 個の公開されている OP-TTEE バージョンに存在します。 RSASSA 脆弱性： および RSA 高速化ドライバを使用するプラットフォーム（NXP CAAM、Xilinx Versal、HiSilicon、SE050）に影響を与えます。 SE050 脆弱性：NXP SE050 の RSA ドライバのみに関連します。アップストリームのコード内にまだ存在しています。 攻撃者は、正規の信頼できるアプリケーション（TA）を通じてこれらの脆弱性をトリガーし、書き込み操作を制御することで、セキュアワールドのクラッシュまたはデータ漏洩を引き起こす可能性があります。 --- 修正方案 1. SHA-3 高速化処理における最終化時のヒープオーバーフロー（CVE-2026-40257） 修正方法： 比較条件を から に変更し、ハードウェアによる圧縮処理が完全なブロックに対して正しく実行されることを保証します。 を確認する防御的なアサーション を追加します。 ワークスプース： 修正後のコードスニペット： 2. RSASSA PKCS#1 v1.5 エンコーディングにおけるアンダーフロー（CVE-2026-33662） 修正方法： 関数内に下界チェックを追加し、負の padding バイト計算によるアンダーフローを防止します。 元の問題のあるコード： 修正提案： が非負であることを検証するチェックを追加します。 3. SE050 RSA NOPAD におけるヒープアンダーフロー（CVE 未割り当て） 修正方法： 現在、この脆弱性は未修正で、アップストリームのコード内にまだ残存しています（2026年7月13日時点）。 のラップアラウンドを防止するため、手動で境界チェックを追加する必要があります。 --- POC / 利用コード SHA-3 脆弱性の POC（ASAN による再現） SHA-3 脆弱性のトリガーロジック（擬似コード） 入力サイズがちょうど1ブロック分（136バイト）で、バッファが空の状態の場合、 は偽となり、ハードウェアによる圧縮がスキップされます。結果、ブロック全体が にコピーされ、 は になります。その後の は約4GBのゼロ値を書き込み、ヒープオーバーフローを引き起こします。 --- 総括 この3つの脆弱性はすべて、符号なし算術の結果に対する誤った前提に起因し、バッファ領域への境界外書き込みを引き起こします。修正には、境界チェックの強化と型安全性の強化が必要です。SHA-3 および RSASSA の脆弱性は修正済みですが、SE050 の脆弱性は依然としてアップストリームでの修正を待たされています。 ---

目標達成 すべての支援者に感謝 — 100%達成しました！

OP-TTEE SHA-3/RSA Accelerator Heap Overflow Vulnerabilities Analysis (CVE-2026-40257/CVE-2026-33662)

目標達成すべての支援者に感謝 — 100%達成しました！