LiveActive security incident?Get immediate response
CVE Record

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

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.

CriticalCVSS 9.3Not KEV-listedUpdated
Glexia's TakeAutomated analysiscritical

Security readout for executives and security teams

Plain-English summary

PREVAIL may incorrectly approve a malicious eBPF program that later accesses memory outside permitted bounds. In deployments that rely on the verifier as a security boundary, this could cause memory corruption and compromise confidentiality, integrity, or availability. The flaw affects versions before 0.2.4.

Executive priority

Treat affected environments as an urgent remediation priority when PREVAIL verifies attacker-controlled eBPF programs. Upgrade promptly and restrict program submission during remediation. Systems that do not use PREVAIL, or cannot execute untrusted verified programs, are not shown by the supplied evidence to be exposed.

Technical view

EbpfTransformer::add() fails to update the offset variable when a destination register represents multiple possible pointer types. Later bounds checks evaluate a stale offset, allowing an out-of-bounds access to pass abstract-interpretation verification. The unsafe program may then corrupt memory at runtime. Version 0.2.4 contains the patch.

Likely exposure

Exposure is limited to systems using vbpf PREVAIL earlier than 0.2.4, particularly where untrusted or attacker-influenced eBPF programs can reach verification and execution. The supplied sources do not identify downstream products, default configurations, or confirmed internet-facing deployments.

Exploitation context

The published CVSS 4.0 score is 9.3 and describes remote, low-complexity, unauthenticated exploitation without user interaction. However, PREVAIL is not listed as exploited in the supplied KEV signal, and the sources provide no evidence of active exploitation or a public weaponized exploit.

Researcher notes

This is a verifier soundness failure categorized as CWE-682. The vulnerable transfer function loses precision incorrectly: it retains a stale offset for a non-singleton pointer typeset, making subsequent bounds conclusions unsound. Assess exploitability within each host runtime; the supplied sources do not establish the exact corruption primitive, sandbox boundary, or downstream integrations.

Mitigation direction

  • Upgrade PREVAIL to version 0.2.4 or later.
  • Identify applications and services embedding vulnerable PREVAIL versions.
  • Restrict untrusted eBPF program submission until upgrades are complete.
  • Review the vendor advisory and release notes for deployment-specific guidance.

Validation and detection

  • Confirm deployed and embedded PREVAIL versions are 0.2.4 or later.
  • Inventory dependency manifests, lockfiles, containers, and compiled artifacts for older PREVAIL versions.
  • Test that previously accepted out-of-bounds programs are rejected after upgrading.
  • Monitor verifier and runtime logs for abnormal eBPF rejection, crashes, or memory faults.
Prepared
Confidence
high
Sources
5

Generated from the cited source records. This long-tail analysis has not been individually reviewed by a named human.

Potential ATT&CK relevance

Conservative CVE-to-ATT&CK context

These mappings and lookup hints may be relevant to the vulnerability behavior, CWE, affected product, or exposure path. Glexia-inferred context is not an official MITRE, ATT&CK, CWE, or CVE Program mapping.

ATT&CK lookup starting points

Use these exact CWE pages and searches to review the Glexia ATT&CK library from this CVE's weakness and description context.

cwe · low confidence lookup

CWE-682: Exact CWE lookup

Use the exact CWE identifier as the starting point before reviewing related ATT&CK behavior. Open the exact CWE lookup page first, then review the ATT&CK searches from that MITRE weakness context. This is a Glexia lookup hint, not an official ATT&CK mapping.

Open ATT&CK lookup
cve · low confidence lookup

CVE-2026-53670 mapping review

Open the CVE-to-ATT&CK bridge for reviewed, inferred, or future official mappings tied to this CVE.

Open ATT&CK lookup
Vulnerability profileCVE Program record
Severity
Critical
CVSS
9.3 (4.0)
Known Exploited
No
Published

Vector: 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

Official CVE source material

CNA and ADP enrichment extracted from CVE v5

These fields come from the CVE record and ADP containers, not from Glexia's Take. They preserve time-varying source decisions such as CISA SSVC, KEV status, CVSS metrics, and provider references.

1CVSS vectors
3Timeline events
1ADP providers
4Source links

SSVC decision data

CISA-ADPCISA Coordinator
Timestamp
Version
2.0.3
Exploitation: pocAutomatable: yesTechnical Impact: total

CVSS vector scores

1 official score

We collect every scored CVSS vector available in the official CNA and ADP containers. When more than one version is present, the table keeps the source vectors side by side instead of collapsing them into the highest score.

ScoreVersionSeverityVectorExploitImpactSource
9.3CVSS 4.0CriticalCVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:H/VA:H/SC:N/SI:N/SA:N——GitHub_M

Vulnerability scoring details

Base CVSS 4.0 score

9.3Critical
CVSS 4.0 vector shape for CVE-2026-53670Attack VectorAttack ComplexityAttack RequirementsPrivileges RequiredUser InteractionVS ConfidentialityVS IntegrityVS AvailabilitySS ConfidentialitySS IntegritySS Availability

Vector: 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

Attack Vector
NetworkAdjacentLocalPhysical
Attack Complexity
LowHigh
Attack Requirements
NonePresent
Privileges Required
NoneLowHigh
User Interaction
NonePassiveActive
VS Confidentiality
HighLowNone
VS Integrity
HighLowNone
VS Availability
HighLowNone
SS Confidentiality
HighLowNone
SS Integrity
HighLowNone
SS Availability
HighLowNone

Vulnerability timeline

Timeline events are normalized from CVE metadata, CNA source timelines, ADP timelines, and KEV metadata when present.

  1. CVE reservedCVE Program

    The CVE ID was reserved by the assigning CNA.

  2. CVE publishedCVE Program

    The CVE record was published.

  3. CVE updatedCVE Program

    The CVE record metadata indicates this as the latest update time.

ADP provider summaries

CISA-ADPCISA ADP Vulnrichment
other:ssvc

Source materials

Affected products

Products and packages named in the record

VendorProductVersion / packageStatus
vbpfprevail< 0.2.4Listed
Weakness

CWE details

CWE links open Glexia weakness intelligence pages with official CWE context, developer remediation guidance, and related CVE mappings.

CWE-682 · source CWE mapping

Incorrect Calculation

Incorrect Calculation represents a recurring weakness pattern that can create exploitable paths when design, validation, or implementation controls are missing.