UBUNTU-CVE-2026-98084: High severity ubuntu/linux-hwe-edge vulnerability
In the Linux kernel, the following vulnerability has been resolved: bpf: backtracking shouldn't clear outer frame R1-R5 for callbacks When processing calls to bpfloop() verifier marks R1 (and R4) as precise. R1 tracks loop iterations number and because of the 'callbackdepth < R1' mechanics in checkhelpercall() must be marked precise. However, precision propagation for R1 was broken, when bpfloop() call was verified on a second iteration. Consider the following verification trace: - main: bpfloop(nrloops, callback ...) - callback: BPFEXIT - main: bpfloop(nrloops, callback ...) - ... While the first visit of the call to bpfloop() propagated R1 precision as expected, the second call to markchainprecision() in the checkhelpercall() set R1, but it was immediately reset when backtrackinsn() processed preceding BPFEXIT in the loop deleted in this patch. Because of that, the second visit of the call to bpfloop() injected checkpoint with R1 not marked as precise. Which could trick the verifier into accepting unsafe programs. See the next patch for an example of such program. Commit is structured in a way to minimize conflicts when 'bpf' would be eventually merged with 'bpf-next'.
Affected Software
Remediation
Recommended actions to resolve this vulnerability, in priority order.
- Upgrade
Upgrade
ubuntu/linux-hwe-7.0to a version that resolves this vulnerability.Fixed in 7.0.0-42.42~24.04.1 - Upgrade
Upgrade
ubuntu/linux-riscv-7.0to a version that resolves this vulnerability.Fixed in 7.0.0-42.42.1~24.04.1 - Upgrade
Upgrade
ubuntu/linuxto a version that resolves this vulnerability.Fixed in 7.0.0-42.42 - Upgrade
Upgrade
ubuntu/linux-awsto a version that resolves this vulnerability.Fixed in 7.0.0-1016.17 - Upgrade
Upgrade
ubuntu/linux-gcpto a version that resolves this vulnerability.Fixed in 7.0.0-1016.18 - Upgrade
Upgrade
ubuntu/linux-ibmto a version that resolves this vulnerability.Fixed in 7.0.0-1017.17 - Upgrade
Upgrade
ubuntu/linux-oem-7.0to a version that resolves this vulnerability.Fixed in 7.0.0-1017.17 - Upgrade
Upgrade
ubuntu/linux-oracleto a version that resolves this vulnerability.Fixed in 7.0.0-1015.16 - Upgrade
Upgrade
ubuntu/linux-riscvto a version that resolves this vulnerability.Fixed in 7.0.0-42.42.1
Event History
Frequently Asked Questions
Which Ubuntu kernel package variants are identified as affected?
The listed affected software includes ubuntu/linux-riscv, ubuntu/linux-realtime, ubuntu/linux-azure, ubuntu/linux-gcp, ubuntu/linux-azure-fde, ubuntu/linux-gke, ubuntu/linux-hwe-edge, and ubuntu/linux-gkeop.
What does an exploit attempt need to trigger the verifier flaw?
It needs an eBPF program using bpf_loop() such that verification revisits a bpf_loop() call after a callback that exits. In that path, incorrect precision tracking for register R1 can cause the verifier to accept an unsafe program.