CVE-2026-53670 PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification
A flaw in the PREVAIL eBPF verifier allows crafted programs to bypass bounds checks, leading to out-of-bounds memory access and potential code execution.
- Exploited in the wild
- Not known
- Login needed
- Not needed
- Attackable
- Over the internet
- Victim action needed
- Not needed
- Fix
- None listed
What is CVE-2026-53670?
CVE-2026-53670 is a critical memory corruption vulnerability in vbpf prevail, published on 2 Sep 2026. An attacker can exploit it over the internet without logging in, with no action from the victim.
Official 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.
Weakness: CWE-682
Which versions are affected by CVE-2026-53670?
How do I fix CVE-2026-53670?
No fix has been published for CVE-2026-53670 yet. Limit exposure of the affected software until one is available.
Upgrade to the fixed version. Memory-safe languages, compiler hardening and fuzzing prevent most new cases. More about Memory corruption.
Is CVE-2026-53670 being exploited?
It is not confirmed as exploited in the wild, but public exploit code for CVE-2026-53670 exists.
Sources
Also known as GHSA-2qc8-qh94-66rc.