{"id":"CVE-2026-53670","aliases":["GHSA-2qc8-qh94-66rc"],"url":"https://o3.security/vulnerability/CVE-2026-53670","summary":"PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification","details":"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.","published":"2026-09-02T17:54:43.900Z","modified":"2026-09-04T08:03:32.906379Z","cvss":null,"epss":null,"cisaKev":null,"exploitsKnown":null,"affectedPackages":[],"fix":{"url":"https://github.com/vbpf/prevail/commit/2b209bc4e3d612ff9aca87125e67c0ff84477e61","label":"vbpf/prevail@2b209bc"},"references":[{"type":"WEB","url":"https://github.com/vbpf/prevail/releases/tag/v0.2.4"},{"type":"ADVISORY","url":"https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/53xxx/CVE-2026-53670.json"},{"type":"ADVISORY","url":"https://github.com/vbpf/prevail/security/advisories/GHSA-2qc8-qh94-66rc"},{"type":"ADVISORY","url":"https://nvd.nist.gov/vuln/detail/CVE-2026-53670"},{"type":"FIX","url":"https://github.com/vbpf/prevail/commit/2b209bc4e3d612ff9aca87125e67c0ff84477e61"}],"provenance":{"sources":["OSV.dev","FIRST.org (EPSS)"],"lastVerified":"2026-09-04T08:03:32.906379Z"}}