CVE Catalog

CVE-2025-38607

HighCVSS 7.8
Published: Updated: Translated: NVD NIST

Exploitation Probability (EPSS)

Low risk
0.15%

5th percentile - higher than 5% of all known CVEs

Summary

In the BPF subsystem in the Linux kernel, a vulnerability was found where the BPF_JSET instruction (conditional jump if a & b) was not properly handled in the can_jump() function during control flow graph (CFG) computation. This led to incorrect determination of live registers and SCC calculations.

Risk Assessment

An attacker could exploit this vulnerability to bypass BPF security mechanisms, potentially leading to privilege escalation or data integrity violations.

Recommendation

Update the Linux kernel to a version containing the fix that adds handling of BPF_JSET in the can_jump() function.

Other vulnerabilities in Linux kernel

See all
Original NVD description (English source)

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

Vulnerability data from NVD (NIST) · CISA KEV · EPSS