In the Linux kernel, the following vulnerability has been resolved:
bpf: Preserve pointer spill metadata during half-slot cleanup
__cleanfuncstate() cleans dead stack slots in 4-byte halves. When the high half of a STACKSPILL slot is dead and the low half remains live, cleanup converts the live low half to STACKMISC or STACKZERO and clears the saved spilledptr metadata.
That conversion is safe only for scalar spills. For a pointer spill, this metadata clear lets a later 32-bit fill from the still-live half avoid the normal non-scalar register-fill check and be treated as an ordinary scalar stack read.
Leave non-scalar spill slots intact in this half-live shape. This is conservative for pruning and preserves the existing checkstackreadfixedoff() rejection path for partial fills from pointer spills.
{
"osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/72xxx/CVE-2026-72426.json",
"cna_assigner": "Linux"
}