CVE-2025-38607
MEDIUM EPSS 3.2%
Published Aug 19, 202510mo ago · Modified Jun 17, 20261w ago
5.5 CVSS 3.1
Published Aug 19, 2025 10mo ago
Last Modified Jun 17, 2026 1w ago
Description
In the Linux kernel, the following vulnerability has been resolved: bpf: handle jset (if a & b ...) as a jump in CFG computation BPF_JSET is a conditional jump and currently verifier.c:can_jump() does not know about that. This can lead to incorrect live registers and SCC computation. E.g. in the following example: 1: r0 = 1; 2: r2 = 2; 3: if r1 & 0x7 goto +1; 4: exit; 5: r0 = r2; 6: exit; W/o this fix insn_successors(3) will return only (4), a jump to (5) would be missed and r2 won't be marked as alive at (3).
CVSS Details
Base Score
Exploitability
Impact
Vector string
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H Attack Vector Local
Attack Complexity Low
Privileges Required Low
User Interaction None
Scope Unchanged
Confidentiality None
Integrity None
Availability High
Threat Intelligence
EPSS Exploit Probability
3.2% percentile
Exploit & Patch Status
No Known Exploit
Patch Available
Affected Products 2
References 3
- git.kernel.org https://git.kernel.org/stable/c/261b30ad1516f4b9edd500aa6e8d6315c8fc109a
- git.kernel.org https://git.kernel.org/stable/c/3157f7e2999616ac91f4d559a8566214f74000a5
- git.kernel.org https://git.kernel.org/stable/c/65eb166b8636365ad3d6e36d50a7c5edfe6cc66e
Remediation
- git.kernel.org https://git.kernel.org/stable/c/261b30ad1516f4b9edd500aa6e8d6315c8fc109a
- git.kernel.org https://git.kernel.org/stable/c/3157f7e2999616ac91f4d559a8566214f74000a5
- git.kernel.org https://git.kernel.org/stable/c/65eb166b8636365ad3d6e36d50a7c5edfe6cc66e