Analysis and contextual insights are available on OpenCVE Cloud.
No vendor fix or workaround currently provided.
Additional remediation guidance may be available on OpenCVE Cloud.
Tracking
Sign in to view the affected projects.
No advisories yet.
Wed, 02 Sep 2026 18:00:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| 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. | |
| Title | PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification | |
| Weaknesses | CWE-682 | |
| References |
| |
| Metrics |
cvssV4_0
|
Subscriptions
No data.
Status: PUBLISHED
Assigner: GitHub_M
Published:
Updated: 2026-09-02T18:08:29.456Z
Reserved: 2026-06-09T20:50:36.877Z
Link: CVE-2026-53670
No data.
Status : Received
Published: 2026-09-02T18:20:00.140
Modified: 2026-09-02T19:17:21.577
Link: CVE-2026-53670
No data.
OpenCVE Enrichment
No data.
-
CWE-682
Incorrect Calculation