原文

Linuxカーネルにおいて、以下の脆弱性が修正されました。crypto: ecc - vli乗算におけるキャリーオーバーフローの修正について説明します。r01.m_highが飽和状態（0xFFFFFFFFFFFFFFFF）で下位ビットの加算がオーバーフローした場合に、キャリーフラグの計算が失敗します。条件式(r01.m_high ＜ product.m_high)は、r01.m_high == product.m_highで下位ビットのオーバーフローによる追加のキャリーが存在する場合を考慮していませんでした。コミット3c4b23901a0c（"crypto: ecdh - ECDHソフトウェアサポートを追加"）でcrypto/ecc.cが導入され、micro-eccライブラリのmuladd()関数がmul_64_64()およびadd_128_128()のヘルパー関数に分割されましたが、このチェックが見落とされていたようです。今回、下位加算からのキャリーを考慮して、この境界条件に対する適切な処理を追加しました。