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.
{
"osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/53xxx/CVE-2026-53670.json",
"cna_assigner": "GitHub_M",
"cwe_ids": [
"CWE-682"
]
}[
{
"signature_type": "Function",
"deprecated": false,
"digest": {
"length": 812.0,
"function_hash": "149107321059926243648741704344611706279"
},
"id": "CVE-2026-53670-2ea651e8",
"target": {
"function": "EbpfTransformer::add",
"file": "src/crab/ebpf_transformer.cpp"
},
"source": "https://github.com/vbpf/prevail/commit/2b209bc4e3d612ff9aca87125e67c0ff84477e61",
"signature_version": "v1"
},
{
"signature_type": "Function",
"deprecated": false,
"digest": {
"length": 11346.0,
"function_hash": "12164238122894191941039599099260904981"
},
"id": "CVE-2026-53670-b35887bc",
"target": {
"function": "operator()",
"file": "src/crab/ebpf_transformer.cpp"
},
"source": "https://github.com/vbpf/prevail/commit/2b209bc4e3d612ff9aca87125e67c0ff84477e61",
"signature_version": "v1"
},
{
"signature_type": "Line",
"deprecated": false,
"digest": {
"line_hashes": [
"304491419162453290356338220022779475431",
"94689232370400547400142164522909234934",
"133719515442885128385103998727845323928",
"82823086780892311056627489772476887346",
"20058582462633862398170202549141310947",
"39166430856288306204700620537372480818",
"318187952497468142550553287452269969382",
"284212162268814531287861930003096226588",
"32684156488085279205321812954525036903",
"194833722410781835244708179499863069851",
"7234050154554438867018716884048273642",
"118235377282646206201354053416799847863",
"98271309632033821737117755820297143716",
"310274198019034761871038645536778796593"
],
"threshold": 0.9
},
"id": "CVE-2026-53670-c0458a0e",
"target": {
"file": "src/crab/ebpf_transformer.cpp"
},
"source": "https://github.com/vbpf/prevail/commit/2b209bc4e3d612ff9aca87125e67c0ff84477e61",
"signature_version": "v1"
}
]
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2026-53670.json"
"2026-09-04T08:03:32Z"