原文

Linuxカーネルにおいて、以下の脆弱性が修正されました。udf: パーティション長に対して空きブロックの範囲を検証します。udf_free_blocks() は論理ブロック番号とカウントをパーティション長と比較しますが、範囲のオフセットを最終的な境界チェックから除外していました。細工された範囲は、このガードを通過できますが、logicalBlockNum + offset + count の合計がパーティションの範囲を超え、後にスペースビットマップ配列を超えてアクセスされてしまいます。このような範囲を持つファイルに対して、一度の ftruncate(2) 呼び出しでカーネルが確実にパニック状態になります。これはローカルでの利用可能性に関する問題です。UDisks/polkit が CAP_SYS_ADMIN 権限なしでアクティブユーザにリムーバブルなUDFメディアのマウントを許可するデスクトップシステムでは、特権を持たないローカルユーザが細工されたファイルシステムを提供し、その上の書き込み可能なファイルを切り詰めることでパニックを引き起こす可能性があります。イメージのマウントに root または CAP_SYS_ADMIN が必要なシステムでは、この前提条件がより高くなります。機密性や整合性への影響は報告されていません。再現される動作は、ビットマップポインタスロットの範囲外読み取りに続くカーネルパニックです。パーティション長の検査には、すでに計算されている logicalBlockNum + offset + count の値を使用してください。また、load_block_bitmap() は s_block_bitmap[] へのインデックスを行う前に、範囲外のブロックグループを拒否し、破損した呼び出し元が柔軟な配列の範囲を逸脱しないように対応してください。