No advisories yet.
Solution
No solution given by the vendor.
Workaround
No workaround given by the vendor.
Thu, 03 Sep 2026 16:00:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| First Time appeared |
Vbpf
Vbpf prevail |
|
| Vendors & Products |
Vbpf
Vbpf prevail |
Wed, 02 Sep 2026 21:30:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| Metrics |
ssvc
|
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
|
Projects
Sign in to view the affected projects.
Status: PUBLISHED
Assigner: GitHub_M
Published:
Updated: 2026-09-02T18:08:29.456Z
Reserved: 2026-06-09T20:50:36.877Z
Link: CVE-2026-53670
Updated: 2026-09-02T18:08:24.131Z
Status : Received
Published: 2026-09-02T18:20:00.140
Modified: 2026-09-02T19:17:21.577
Link: CVE-2026-53670
No data.
OpenCVE Enrichment
Updated: 2026-09-03T15:34:04Z