CVE-2025-22087

Summary

In the Linux kernel, the following vulnerability has been resolved:

bpf: Fix array bounds error with may_goto

may_goto uses an additional 8 bytes on the stack, which causes the interpreters[] array to go out of bounds when calculating index by stack_size.

  1. If a BPF program is rewritten, re-evaluate the stack size. For non-JIT cases, reject loading directly.

  2. For non-JIT cases, calculating interpreters[idx] may still cause out-of-bounds array access, and just warn about it.

  3. For jit_requested cases, the execution of bpf_func also needs to be warned. So move the definition of function __bpf_prog_ret0_warn out of the macro definition CONFIG_BPF_JIT_ALWAYS_ON.

Affected Software

VendorProductVersion RangeStatus
LinuxLinux011832b97b311bb9e3c27945bc0d1089a14209c9 < 19e6817f84000d0b06f09fd69ebd56217842c122affected
LinuxLinux011832b97b311bb9e3c27945bc0d1089a14209c9 < 4524b7febdd55fb99ae2e1f48db64019fa69e643affected
LinuxLinux011832b97b311bb9e3c27945bc0d1089a14209c9 < 1a86ae57b2600e5749f5f674e9d4296ac00c69a8affected
LinuxLinux011832b97b311bb9e3c27945bc0d1089a14209c9 < 6ebc5030e0c5a698f1dd9a6684cddf6ccaed64a0affected
LinuxLinux6.9affected
LinuxLinux0 < 6.9unaffected
LinuxLinux6.12.23 <= 6.12.*unaffected
LinuxLinux6.13.11 <= 6.13.*unaffected
LinuxLinux6.14.2 <= 6.14.*unaffected
LinuxLinux6.15 <= *unaffected

Weaknesses

References