| Title | LinuxのLinux Kernelにおける境界外読み取りに関する脆弱性 |
|---|---|
| Summary | Linuxカーネルにおいて、以下の脆弱性が修正されました。bpf: BPF_END値トラッキングのためのレジスタIDリセットに関する問題です。BPF_END(バイトスワップ)操作が行われると、そのレジスタのスカラー値がインプレースで変異します。もしこのレジスタが以前に別のレジスタとスカラーIDを共有していた場合(例:`r1 = r0`の代入後など)、この結びつきを切断する必要があります。現在、検証器はBPF_ENDの場合に`dst_reg-id`を0にリセットする処理を欠いていました。その結果、条件ジャンプがスワップされたレジスタを検査すると、検証器は誤って学習した境界をリンクされたレジスタに伝播させてしまい、リンクされたレジスタの値に誤った信頼を与えてしまいます。そのため、境界外のメモリアクセスを許してしまう可能性がありました。これを解決するために、BPF_ENDの場合に`dst_reg-id`を明示的に0にリセットしてスカラーの結びつきを断ち切る修正を行いました。この対応方法は、BPF_NEGが`__mark_reg_known`を使って処理する方法に類似しています。 |
| Possible impacts | ・当該ソフトウェアが扱う全ての情報が外部に漏れる可能性があります。 ・当該ソフトウェアが扱う全ての情報が書き換えられる可能性があります。 ・当該ソフトウェアが完全に停止する可能性があります。 |
| Solution | リリース情報、またはパッチ情報が公開されています。参考情報を参照して適切な対策を実施してください。 |
| Publication Date | May 5, 2026, midnight |
| Registration Date | June 3, 2026, 5:01 p.m. |
| Last Update | June 3, 2026, 5:01 p.m. |
| CVSS3.0 : 重要 | |
| Score | 7.8 |
|---|---|
| Vector | CVSS:3.0/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H |
| Linux |
| Linux Kernel 6.18.17 以上 6.18.21 未満 |
| Linux Kernel 6.19.7 以上 6.19.11 未満 |
| Linux Kernel 7.0 |
| No | Changed Details | Date of change |
|---|---|---|
| 1 | [2026年06月03日] 掲載 |
June 3, 2026, 5:01 p.m. |
| Summary | In the Linux kernel, the following vulnerability has been resolved: bpf: Reset register ID for BPF_END value tracking When a register undergoes a BPF_END (byte swap) operation, its scalar Currently, the verifier misses resetting `dst_reg->id` to 0 for BPF_END. Fix this by explicitly resetting `dst_reg->id` to 0 in the BPF_END case |
|---|---|
| Publication Date | May 6, 2026, 1:16 a.m. |
| Registration Date | May 6, 2026, 4:07 a.m. |
| Last Update | May 8, 2026, 10:16 p.m. |