CVE-2026-53670— Prevail 库 add() 越界访问漏洞
一分钟漏洞结论
影响对象
vbpf prevail
利用判断
尚无明确在野利用证据，仍需结合暴露面评估
建议动作
优先检查厂商安全公告和参考链接中的修复版本；无法立即升级时，限制受影响服务暴露并加强监测。
PREVAIL 是一种采用抽象解释层（Abstract Interpretation Layer）的多项式运行时 eBPF 验证器。在 0.2.4 版本之前，Prevail 的 eBPF 验证器中， 在目标寄存器携带非单例类型集（即存在两种或多种可能的指针类型）时，会静默跳过偏移量变量的更新。随后的边界检查使用了过期的偏移量，导致接受越界的内存访问。因此，一个精心构造的 BPF 程序即使会在运行时破坏内存，仍能通过验证。该问题已在 0.2.4 版本中修复。
获取后续新漏洞提醒
登录后订阅
一、 漏洞 CVE-2026-53670 基础信息
漏洞信息
对漏洞内容有疑问？看看神龙的深度分析是否有帮助！
查看神龙十问 ↗
尽管我们使用了先进的大模型技术，但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性，但请您根据实际情况进行核实和判断。
Vulnerability Title
PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification
来源: CVE Program / CVE List V5
Vulnerability Description
PREVAIL is a Polynomial-Runtime EBPF Verifier using an Abstract Interpretation Layer. Prior to version 0.2.4, in the Prevail eBPF verifier, EbpfTransformer::add() silently skips offset-variable updates when the destination register carries a non-singleton typeset (two or more simultaneously possible pointer types). Subsequent bounds checks use the stale offset and accept out-of-bounds memory accesses, so a crafted BPF program passes verification even though it would corrupt memory at runtime. This issue has been patched in version 0.2.4.
来源: CVE Program / CVE List V5
CVSS Information
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:H/VA:H/SC:N/SI:N/SA:N
来源: CVE Program / CVE List V5
Vulnerability Type
数值计算不正确
来源: CVE Program / CVE List V5
受影响产品
二、漏洞 CVE-2026-53670 的公开POC
| # | POC 描述 | 源链接 | 神龙链接 |
|---|
AI 生成 POC
高级
未找到公开 POC。
登录以生成 AI POC三、漏洞 CVE-2026-53670 的情报信息
请登录查看更多情报信息。
CVE-2026-53670 其他参考 (3)
-
https://github.com/vbpf/prevail/releases/tag/v0.2.4 x_refsource_MISC
-
https://github.com/vbpf/prevail/security/advisories/GHSA-2qc8-qh94-66rc x_refsource_CONFIRM
同批安全公告 · vbpf · 2026-09-02 · 共 3 条
| CVE-2026-53671 | 9.3 CRITICAL | eBPF do_mem_store 安全验证绕过漏洞 |
| CVE-2026-53706 | 8.8 HIGH | PREVAIL 验证器 ALU32 指针算术误判漏洞 |
IV. Related Vulnerabilities
V. Comments for CVE-2026-53670
暂无评论