eBPF Verifier Vulnerability in PREVAIL Affected by Pointer-typed Register Operations
CVE-2026-53706
8.8HIGH
What is CVE-2026-53706?
The PREVAIL eBPF Verifier, prior to version 0.2.4, had an improper verification flaw that allowed ALU32 ADD and SUB operations to be conducted on pointer-typed registers without adequate checks on the is64 flag. This oversight resulted in the upper half of pointers being unintentionally zeroed out, thus marking unsafe programs as verified. As a result, users with permission to submit eBPF programs could potentially exploit this vulnerability, leading to runtime errors or faulty behavior even though the program appeared safe during verification. The issue has since been resolved in version 0.2.4.
Affected Version(s)
prevail < 0.2.4
