PT-2025-46618 · Linux+2 · Linux Kernel+2
Publicado
2025-09-16
·
Atualizado
2026-02-24
·
CVE-2025-40143
CVSS v2.0
4.6
Média
| Vetor | 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
Encontrou algum problema na descrição? Tem algo a acrescentar? Fique à vontade para nos escrever 👾
Enumeração de Fraquezas
Identificadores relacionados
Produtos afetados
Linuxmint
Linux Kernel
Ubuntu