CVE-2025-22048

MEDIUM

Linux Kernel - Use-After-Free in BPF Verifier

Title source: llm
STIX 2.1

Description

In the Linux kernel, the following vulnerability has been resolved: LoongArch: BPF: Don't override subprog's return value The verifier test `calls: div by 0 in subprog` triggers a panic at the ld.bu instruction. The ld.bu insn is trying to load byte from memory address returned by the subprog. The subprog actually set the correct address at the a5 register (dedicated register for BPF return values). But at commit 73c359d1d356 ("LoongArch: BPF: Sign-extend return values") we also sign extended a5 to the a0 register (return value in LoongArch). For function call insn, we later propagate the a0 register back to a5 register. This is right for native calls but wrong for bpf2bpf calls which expect zero-extended return value in a5 register. So only move a0 to a5 for native calls (i.e. non-BPF_PSEUDO_CALL).

Scores

CVSS v3 5.5
EPSS 0.0019
EPSS Percentile 8.7%
Attack Vector LOCAL
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H

Details

Status published
Products (22)
linux/Kernel < 6.6.87linux
linux/Kernel 6.13.0 - 6.14.2linux
linux/Kernel 6.7.0 - 6.12.23linux
Linux/Linux < 6.13
Linux/Linux 0c8d50501bc13cacecc19caaddc10db372592a39 - 7df2696256a034405d3c5a71b3a4c54725de4404
Linux/Linux 3b75f627b73d96787a493e2f1187543ba9c056a4
Linux/Linux 6.1.120 - 6.2
Linux/Linux 6.11.11 - 6.12
Linux/Linux 6.12.2 - 6.12.23
Linux/Linux 6.12.23 - 6.12.*
... and 12 more
Published Apr 16, 2025
Tracked Since Feb 18, 2026