Goal Reached Thanks to every supporter — we hit 100%!

Goal: 1000 CNY · Raised: 1336 CNY

100%
Buy Us a Coffee

CVE-2026-53670— PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification

Quick assessment

Affected
vbpf prevail
Exploitation
No confirmed in-the-wild exploitation; assess based on exposure
Recommended action
Check the vendor advisory and references for a fixed version. If immediate upgrade is impossible, restrict exposure and increase monitoring.

PREVAIL 是一种采用抽象解释层（Abstract Interpretation Layer）的多项式运行时 eBPF 验证器。在 0.2.4 版本之前，Prevail 的 eBPF 验证器中， 在目标寄存器携带非单例类型集（即存在两种或多种可能的指针类型）时，会静默跳过偏移量变量的更新。随后的边界检查使用了过期的偏移量，导致接受越界的内存访问。因此，一个精心构造的 BPF 程序即使会在运行时破坏内存，仍能通过验证。该问题已在 0.2.4 版本中修复。

CVSS 9.3 · Critical

Affected Version Matrix 1

VendorProduct Version RangeStatus
vbpf prevail < 0.2.4 affected
Get alerts for future matching vulnerabilities Log in to subscribe

I. Basic Information for CVE-2026-53670

Vulnerability Information
Have questions about the vulnerability? See if Shenlong's analysis helps!
View Shenlong Deep Dive ↗

Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.

Vulnerability Title
PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification
Source: 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.
Source: 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
Source: CVE Program / CVE List V5
Vulnerability Type
数值计算不正确
Source: CVE Program / CVE List V5

Affected Products

Vendor Product Affected Versions CPE Subscribe
vbpf prevail < 0.2.4 -

II. Public POCs for CVE-2026-53670

# POC Description Source Link Shenlong Link
AI-Generated POC Premium

No public POC found.

Login to generate AI POC

III. Intelligence Information for CVE-2026-53670

请登录查看更多情报信息。

Patches & Fixes for CVE-2026-53670 (1)

Vendor Advisories for CVE-2026-53670 (1)

Vendor Pages for CVE-2026-53670 (1)

Same Patch Batch · vbpf · 2026-09-02 · 3 CVEs total

CVE-2026-53671 9.3 CRITICAL PREVAIL: Context-write no-op in do_mem_store allows unsafe eBPF programs to pass verificat
CVE-2026-53706 8.8 HIGH PREVAIL: ALU32 pointer arithmetic accepted without is64 gate — verifier emits false PASS f

IV. Related Vulnerabilities

Same product: prevail
Same vendor: vbpf
Same weakness: CWE-682

V. Comments for CVE-2026-53670

No comments yet

Leave a comment