CVE-2025-22048
Severity CVSS v4.0:
Pending analysis
Type:
Unavailable / Other
Publication date:
16/04/2025
Last modified:
17/04/2025
Description
In the Linux kernel, the following vulnerability has been resolved:<br />
<br />
LoongArch: BPF: Don&#39;t override subprog&#39;s return value<br />
<br />
The verifier test `calls: div by 0 in subprog` triggers a panic at the<br />
ld.bu instruction. The ld.bu insn is trying to load byte from memory<br />
address returned by the subprog. The subprog actually set the correct<br />
address at the a5 register (dedicated register for BPF return values).<br />
But at commit 73c359d1d356 ("LoongArch: BPF: Sign-extend return values")<br />
we also sign extended a5 to the a0 register (return value in LoongArch).<br />
For function call insn, we later propagate the a0 register back to a5<br />
register. This is right for native calls but wrong for bpf2bpf calls<br />
which expect zero-extended return value in a5 register. So only move a0<br />
to a5 for native calls (i.e. non-BPF_PSEUDO_CALL).
Impact
References to Advisories, Solutions, and Tools
- https://git.kernel.org/stable/c/223d565d8892481684091cfbaf3466f2b0e289d3
- https://git.kernel.org/stable/c/60f3caff1492e5b8616b9578c4bedb5c0a88ed14
- https://git.kernel.org/stable/c/780628a780b622759d9e5adc76d15432144da1a3
- https://git.kernel.org/stable/c/7df2696256a034405d3c5a71b3a4c54725de4404
- https://git.kernel.org/stable/c/996e90ab446641553e8e21707b38b9709605e0e0