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

Unknown severity · Source severity not reportedCVE-2026-53670

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

Answer in brief

CVE-2026-53670 records a Unknown severity vulnerability in PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification. The current sources do not mark it as known exploited. The current feed maps vbpf/prevail (generic). Check affected ranges and fixed versions before updating.

Analysis pending evidence review

HOL Guard separates source facts from reviewed analysis. See the methodology.

Published Sep 2, 2026Updated Sep 2, 2026Source checked Sep 2, 2026First seen by HOL Sep 2, 2026Material review Sep 2, 2026

Upstream Advisory

Key facts

Risk: Unknown severitySource severity not reported
Exploitation: Not marked as known exploited
Affected software: 1 mapped package or product
Fix availability: Not reported

Why this deserves its current priority

A CVSS score is not reported in the current record. The current sources do not mark it as known exploited. Treat this as a source-backed prioritization signal, not a statement about your environment.

Analysis status

Analysis pending evidence review

Factual feed record only; HOL analysis is not approved for indexing. Read the methodology.

Affected scope and exposure questions

The current feed maps vbpf/prevail (generic). Check affected ranges and fixed versions before updating.

Mapped affected packages and fixed versions
Package	Affected range	Fixed version
vbpf/prevailgeneric	< 0.2.4	Not reported

Recommended response

Check inventory. Check lockfiles and deployed manifests for vbpf/prevail.
Review the reported fix. Monitor this advisory for an available fix and review any installs of the affected package.

Evidence timeline and material changes

Published upstream
Sep 2, 2026
Evidence: source:cvelist:source_dates:source-dates:record
Source modified
Sep 2, 2026
Evidence: source:cvelist:source_dates:source-dates:record
First seen by HOL
Sep 2, 2026

Sources and claim methodology

Upstream source 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.

Quoted source text, attributed separately from HOL analysis.