CVE-2025-40143— Linux kernel 安全漏洞
一分钟漏洞结论
影响对象
Linux Linux
利用判断
尚无明确在野利用证据，仍需结合暴露面评估
建议动作
优先检查厂商安全公告和参考链接中的修复版本；无法立即升级时，限制受影响服务暴露并加强监测。
Linux kernel是美国等都是美国(Linux)基金会的产品。Linux kernel是开源操作系统Linux所使用的内核。Aaron update等都是(Aaron)个人开发者的产品。update是一个库。ClickHouse ch等都是(ClickHouse)开源的产品。ch是一个ClickHouse的低级Go客户端。 Linux kernel存在安全漏洞，该漏洞源于推测路径上缺少bpf_scc_visit检查，可能导致验证器BUG。
获取后续新漏洞提醒
登录后订阅
一、 漏洞 CVE-2025-40143 基础信息
漏洞信息
对漏洞内容有疑问？看看神龙的深度分析是否有帮助！
查看神龙十问 ↗
尽管我们使用了先进的大模型技术，但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性，但请您根据实际情况进行核实和判断。
Vulnerability Title
bpf: dont report verifier bug for missing bpf_scc_visit on speculative path
来源: CVE Program / CVE List V5
Vulnerability Description
In the Linux kernel, the following vulnerability has been resolved:
bpf: dont report verifier bug for missing bpf_scc_visit on speculative path
Syzbot generated a program that triggers a verifier_bug() call in
maybe_exit_scc(). maybe_exit_scc() assumes that, when called for a
state with insn_idx in some SCC, there should be an instance of struct
bpf_scc_visit allocated for that SCC. Turns out the assumption does
not hold for speculative execution paths. See example in the next
patch.
maybe_scc_exit() is called from update_branch_counts() for states that
reach branch count of zero, meaning that path exploration for a
particular path is finished. Path exploration can finish in one of
three ways:
a. Verification error is found. In this case, update_branch_counts()
is called only for non-speculative paths.
b. Top level BPF_EXIT is reached. Such instructions are never a part of
an SCC, so compute_scc_callchain() in maybe_scc_exit() will return
false, and maybe_scc_exit() will return early.
c. A checkpoint is reached and matched. Checkpoints are created by
is_state_visited(), which calls maybe_enter_scc(), which allocates
bpf_scc_visit instances for checkpoints within SCCs.
Hence, for non-speculative symbolic execution paths, the assumption
still holds: if maybe_scc_exit() is called for a state within an SCC,
bpf_scc_visit instance must exist.
This patch removes the verifier_bug() call for speculative paths.
来源: CVE Program / CVE List V5
CVSS Information
N/A
来源: CVE Program / CVE List V5
Vulnerability Type
N/A
来源: CVE Program / CVE List V5
Vulnerability Title
Linux kernel 安全漏洞
来源: 中国国家信息安全漏洞库 CNNVD
Vulnerability Description
Linux kernel是美国等都是美国(Linux)基金会的产品。Linux kernel是开源操作系统Linux所使用的内核。Aaron update等都是(Aaron)个人开发者的产品。update是一个库。ClickHouse ch等都是(ClickHouse)开源的产品。ch是一个ClickHouse的低级Go客户端。 Linux kernel存在安全漏洞，该漏洞源于推测路径上缺少bpf_scc_visit检查，可能导致验证器BUG。
来源: 中国国家信息安全漏洞库 CNNVD
CVSS Information
N/A
来源: 中国国家信息安全漏洞库 CNNVD
Vulnerability Type
N/A
来源: 中国国家信息安全漏洞库 CNNVD
受影响产品
二、漏洞 CVE-2025-40143 的公开POC
| # | POC 描述 | 源链接 | 神龙链接 |
|---|
AI 生成 POC
高级
未找到公开 POC。
登录以生成 AI POC三、漏洞 CVE-2025-40143 的情报信息
请登录查看更多情报信息。
同批安全公告 · Linux · 2025-11-12 · 共 96 条
| CVE-2025-40176 | 9.8 CRITICAL | Linux kernel 安全漏洞 |
| CVE-2025-40140 | 8.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40133 | 8.1 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40186 | 8.1 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40158 | 8.1 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40204 | 8.1 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40135 | 8.1 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40168 | 8.1 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40141 | 8.0 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40166 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40159 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40173 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40167 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40170 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40149 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40172 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40174 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40139 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40190 | 7.8 HIGH | Linux kernel 安全漏洞 |
| CVE-2025-40151 | 7.8 HIGH | Linux kernel 安全漏洞 |
显示前 20 条，共 96 条。 查看全部 → →
IV. Related Vulnerabilities
V. Comments for CVE-2025-40143
暂无评论