CVE-2025-38607 bpf: handle jset (if a & b ...) as a jump in CFG computation
The Linux kernel BPF verifier incorrectly handles conditional jumps, potentially leading to incorrect register liveness analysis and security bypasses.
- Exploited in the wild
- Not known
- Login needed
- Any signed-in user
- Attackable
- Local or same network only
- Victim action needed
- Not needed
- Fix
- Available
What is CVE-2025-38607?
CVE-2025-38607 is a high-severity vulnerability in Linux kernel, published on 19 Aug 2025. It can only be exploited from the same machine or local network, with no action from the victim.
Official 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).
Which versions are affected by CVE-2025-38607?
It affects 1 product.
Products include Linux kernel.
How do I fix CVE-2025-38607?
Apply the vendor's patch.
Is CVE-2025-38607 being exploited?
There is no known exploitation of CVE-2025-38607 in the wild and no public exploit code.
Other vulnerabilities in Linux kernel
Sources
Also known as BELL-CVE-2025-38607, GHSA-8qpr-r3pf-7ggx, UBUNTU-CVE-2025-38607.