原文

Linuxカーネルにおいて、以下の脆弱性が修正されました。bpfに関して、拡張前にBTFの繰り返しフィールド数を検証するbtf_parse_struct_metas()は、BPF_BTF_LOAD時にユーザーが提供したBTFを巡回します。btf_repeat_fields()は繰り返し可能なフィールドを配列要素からbtf_parse_fields()で使用される固定サイズのBTF_FIELDS_MAXスクラッチ配列に展開します。残容量のチェックは、拡張後のフィールド数の計算をu32型で行っています。悪意のある不正なBTFはこの計算をオーバーフローさせることで、拡張後のフィールド数がスクラッチ配列の容量を超えていてもチェックを通過してしまいます。その結果、その後のmemcpy()により配列の末尾を越えて書き込みが発生する可能性があります。繰り返しフィールドをコピーする前に、安全な加算と乗算による検証を行い、不可能なカウントがあれば拒否するように修正されました。