{"dataType":"CVE_RECORD","dataVersion":"5.2","cveMetadata":{"cveId":"CVE-2026-53670","assignerOrgId":"a0819718-46f1-4df5-94e2-005712e83aaa","state":"PUBLISHED","assignerShortName":"GitHub_M","dateReserved":"2026-06-09T20:50:36.877Z","datePublished":"2026-09-02T17:54:43.900Z","dateUpdated":"2026-09-02T18:08:29.456Z"},"containers":{"cna":{"title":"PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification","problemTypes":[{"descriptions":[{"cweId":"CWE-682","lang":"en","description":"CWE-682: Incorrect Calculation","type":"CWE"}]}],"metrics":[{"cvssV4_0":{"attackVector":"NETWORK","attackComplexity":"LOW","attackRequirements":"NONE","privilegesRequired":"NONE","userInteraction":"NONE","vulnConfidentialityImpact":"HIGH","vulnIntegrityImpact":"HIGH","vulnAvailabilityImpact":"HIGH","subConfidentialityImpact":"NONE","subIntegrityImpact":"NONE","subAvailabilityImpact":"NONE","baseScore":9.3,"baseSeverity":"CRITICAL","vectorString":"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","version":"4.0"}}],"references":[{"name":"https://github.com/vbpf/prevail/security/advisories/GHSA-2qc8-qh94-66rc","tags":["x_refsource_CONFIRM"],"url":"https://github.com/vbpf/prevail/security/advisories/GHSA-2qc8-qh94-66rc"},{"name":"https://github.com/vbpf/prevail/commit/2b209bc4e3d612ff9aca87125e67c0ff84477e61","tags":["x_refsource_MISC"],"url":"https://github.com/vbpf/prevail/commit/2b209bc4e3d612ff9aca87125e67c0ff84477e61"},{"name":"https://github.com/vbpf/prevail/releases/tag/v0.2.4","tags":["x_refsource_MISC"],"url":"https://github.com/vbpf/prevail/releases/tag/v0.2.4"}],"affected":[{"vendor":"vbpf","product":"prevail","versions":[{"version":"< 0.2.4","status":"affected"}]}],"providerMetadata":{"orgId":"a0819718-46f1-4df5-94e2-005712e83aaa","shortName":"GitHub_M","dateUpdated":"2026-09-02T17:54:43.900Z"},"descriptions":[{"lang":"en","value":"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."}],"source":{"advisory":"GHSA-2qc8-qh94-66rc","discovery":"UNKNOWN"}},"adp":[{"references":[{"url":"https://github.com/vbpf/prevail/security/advisories/GHSA-2qc8-qh94-66rc","tags":["exploit"]}],"metrics":[{"other":{"type":"ssvc","content":{"timestamp":"2026-09-02T18:08:09.094325Z","id":"CVE-2026-53670","options":[{"Exploitation":"poc"},{"Automatable":"yes"},{"Technical Impact":"total"}],"role":"CISA Coordinator","version":"2.0.3"}}}],"title":"CISA ADP Vulnrichment","providerMetadata":{"orgId":"134c704f-9b21-4f2e-91b3-4a467353bcc0","shortName":"CISA-ADP","dateUpdated":"2026-09-02T18:08:29.456Z"}}]}}