原文

Linuxカーネルにおいて、以下の脆弱性が修正されました：bpf: 動的な内部配列のルックアップをヌル可能に維持。ARRAY_OF_MAPSは、BPF_F_INNER_MAPで作成された配列を内部マップのテンプレートとして使用できます。異なるmax_entries値を持つ具体的な内部配列がテンプレートを置き換えることが可能です。外側のマップルックアップが成功した後、検証器は結果のマップポインタを内部マップテンプレートを使って表現します。そのため、定数キーのルックアップにおけるヌル状態の省略はテンプレートのmax_entriesを使用しますが、ランタイムのヘルパーは具体的な内部マップのmax_entriesを使用します。BPF_F_INNER_MAPでマークされたマップに対しては、テンプレートのmax_entriesが具体的なランタイムマップのキーの範囲内であることを証明できないため、ルックアップ結果のヌル状態を省略しないでください。