Description
In the Linux kernel, the following vulnerability has been resolved: bpf: Invalidate RCU pointers after final spin unlock In a sleepable BPF program, a spin lock can provide the only RCU protection for a kptr. The final bpf_spin_unlock() ends that protection, but the verifier leaves the pointer valid. Another CPU can then free the object before the pointer is used. A capability-limited runtime PoC triggered a task_struct use-after-free in __bpf_get_task_stack(). Record whether the program is in an RCU-protected context before releasing the lock. Invalidate RCU-protected pointers only when the unlock leaves the final such context. This preserves valid pointers in non-sleepable programs and inside an explicit RCU read-side section.
Affected products
Version statuses are supplied by the assigning organization. Consult the original record for detailed ranges and platform conditions.
Linux Linux
Default version status: unaffected
5861d1e8dbc4e1a03ebffb96ac041026cdd34c07 to < f81972b235f3ebfa40bdce8bcfee3f242fb24065affected5861d1e8dbc4e1a03ebffb96ac041026cdd34c07 to < 7ae71629357d0a6d0bdadb929c7b296d5b7e61c2affected5861d1e8dbc4e1a03ebffb96ac041026cdd34c07 to < 180c7000712db77063b3a26f4c97e7dd9038f449affected
Linux Linux
Default version status: affected
6.6affected0 to < 6.6unaffected6.18.57 to ≤ 6.18.*unaffected7.2.6 to ≤ 7.2.*unaffected7.3 to ≤ *unaffected