Impact
The Linux kernel’s BPF verifier contains a defect in the adjust_ptr_min_max_vals() routine. When a scalar operand is added to a pointer, the destination register inherits pointer state from the source pointer, copying only selected fields. This fragile handling can lead to incorrect pointer provenance metadata and potentially cause improper memory accesses. The weakness is classified as CWE‑823.
Affected Systems
Linux kernel versions that include the adjust_ptr_min_max_vals() logic in the BPF verifier and support eBPF programs are affected.
Risk and Exploitability
The vulnerability has a CVSS score of 7.8, indicating moderate severity. Its EPSS score is reported as <1%, implying a very low probability of exploitation in the wild, and it is not listed in the CISA KEV catalog. Based on how pointer provenance is handled, it is inferred that malicious eBPF code executed in kernel mode could exploit this flaw. The attack would require the ability to load custom BPF programs into the affected kernel, which is a local attack vector.
OpenCVE Enrichment
Debian DLA
Debian DSA