Monitor vulnerabilities like this one. Sign up free to get alerted when software you use is affected.
9.1

Prevail verifier may approve programs that corrupt memory

CVE-2026-53706 · published 2 days ago
Summary

Before version 0.2.4, the Prevail tool that checks Linux kernel programs allowed certain 32‑bit calculations on memory addresses without proper safety checks. This can silently damage the address and cause the program to crash or behave incorrectly, even when the tool says it is safe. Update Prevail to version 0.2.4 or later to fix the issue.

What to do

The CVE record does not list a fixed version. Check the vendor's site or the advisory links below - a fix may already be released.

Affected software
VendorProductAffected versions
vbpf prevail < 0.2.4
Original advisory text
PREVAIL: ALU32 pointer arithmetic accepted without is64 gate — verifier emits false PASS for pointer-corrupting programs
PREVAIL is a Polynomial-Runtime EBPF Verifier using an Abstract Interpretation Layer. Prior to version 0.2.4, the prevail eBPF verifier accepts ALU32 ADD and SUB instructions that operate on pointer-typed registers without checking the is64 flag. Because ALU32 arithmetic zero-extends the 32-bit result, the upper half of any pointer is silently destroyed at runtime, yet prevail marks the program as verified safe. Any caller that can submit an eBPF program for verification — including unprivileged users on kernels that permit BPF program loading — can produce a program that passes verification but faults or misbehaves at runtime. This issue has been patched in version 0.2.4.
References
Severity
9.1 Critical
CVSS 4.0: 8.8 (NVD)
Exploitation
EPSS <1%
Type
CWE-682Incorrect Calculation
Timeline
Published2 Sep 2026
Updated5 Sep 2026
First seen2 Sep 2026
Sources
CVE-2026-53706 · NVD
CVE-2026-53706 · MITRE
CVE-2026-53706 · OSV
GHSA-65fp-5qmq-gg2m · GHSA
Monitor software like this
Free during beta