Riskcovery

CVE-2025-38607

bpf: handle jset (if a & b ...) as a jump in CFG computation

State
Published
Severity
7.8 High
Published
Aug 19, 2025
Updated
Aug 5, 2026
Reserved
Apr 16, 2025

Read the record on cve.org

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).

Scores

CVSSScoreVectorSource
3.17.8 HighCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:HLinux

Weaknesses

The record names no weakness.

Affected Products

ProductVersions
LinuxLinux
  • 14c8552db64476ffc27c13dc6652fc0dac31c0ba to before 65eb166b8636365ad3d6e36d50a7c5edfe6cc66eAffected
  • 14c8552db64476ffc27c13dc6652fc0dac31c0ba to before 261b30ad1516f4b9edd500aa6e8d6315c8fc109aAffected
  • 14c8552db64476ffc27c13dc6652fc0dac31c0ba to before 3157f7e2999616ac91f4d559a8566214f74000a5Affected
LinuxLinux
  • 6.15Affected
  • before 6.15Not affected
  • 6.15.10 through 6.15.*Not affected
  • 6.16.1 through 6.16.*Not affected
  • 6.17 and laterNot affected

References

Every record here comes from the CVE Program’s CVE List. © 1999–2026 The MITRE Corporation. CVE is a registered trademark of The MITRE Corporation. The records are reproduced under the CVE Program terms of use.