原文

Linuxカーネルにおいて、以下の脆弱性が修正されました：bpf: サブプログラム内での ld_{abs,ind} 失敗パス解析の修正。ld_{abs,ind} 命令の使用は、以前にコミット09b28d76eac4（"bpf: Add abnormal return checks."）を通じてサブプログラムに拡張されました。これらは、サブプログラムがBTF注釈されており、かつスカラー型の戻り値を持つ場合にのみ許可されています。bpf_gen_ld_abs() のコードジェネレータには、従来の cBPF 時代から異常終了パス（r0=0 + exit）が存在しています。スカラー戻り値型での制限がある一方で、検証器は ld_{abs,ind} によるパケットデータの読み込みが失敗した場合の異常終了パスもシミュレートしなければなりません。しかし現在はこれが行われていません。そこで、成功パスと失敗パスの両方を検証器がシミュレートするように修正し、テイルコールの場合と同様の方法で拡張しました。成功パス（r0=不明、次の命令に進む）は後で検証するためスタックにプッシュされ、r0=0 として呼び出し元に戻る処理はフォールスルー側で行われます。