PT-2025-46618 · Linux+2 · Linux Kernel+2
Published
2025-09-16
·
Updated
2026-02-24
·
CVE-2025-40143
CVSS v2.0
4.6
Medium
| Vector | AV:L/AC:L/Au:S/C:N/I:N/A:C |
Name of the Vulnerable Software and Affected Versions
Linux kernel (affected versions not specified)
Description
The Linux kernel contains a flaw related to the BPF verifier. Specifically, a verifier bug could occur when a
bpf scc visit instance was missing on a speculative path during execution. This issue was identified through a program generated by Syzbot, which triggered a verifier bug() call in the maybe exit scc() function. The problem arises because maybe exit scc() assumes the existence of a bpf scc visit instance for states within an SCC, but this assumption doesn't hold true for speculative execution paths. The issue is resolved by removing the verifier bug() call for speculative paths.Recommendations
At the moment, there is no information about a newer version that contains a fix for this vulnerability.
Exploit
Allocation of Resources Without Limits
Found an issue in the description? Have something to add? Feel free to write us 👾
Weakness Enumeration
Related Identifiers
Affected Products
Linuxmint
Linux Kernel
Ubuntu