原文

Linuxカーネルにおいて、以下の脆弱性が修正されました：bpfにおけるsrc_reg == dst_regの場合のリンクされたレジスタデルタ追跡の修正についてです。adjust_reg_min_max_vals()内で、src_regとdst_regが同じbpf_reg_stateを指すrX += rXのケースを考慮しました。後者は最初にdst_regをインプレースで変更し、その後のデルタ追跡において、is_reg_const(src_reg)やreg_const_value(src_reg)の呼び出しが元のソースではなく、{add,sub}処理後の値を読み取ってしまいます。これにより誤ったデルタが設定され、sync_linked_regs()がそのデルタをリンクされたレジスタに伝搬させるため、検証器と実行時の不整合を生じさせる問題がありました。このコーナーケースを単にスキップすることで修正を行いました。