Unsafe program admission via unchecked ALU32 pointer arithmetic
Published Sep 2, 2026 · Updated Sep 3, 2026
Incorrect calculation in PREVAIL before 0.2.4 allows remote attackers to admit unsafe eBPF programs through verification. The ADD and SUB arms in src/ir/assertions.cpp accept pointer-typed ALU32 destinations without checking is64, while the transformer preserves the pointer type after zero-extension discards its upper half. Exploitation requires access to the verifier CLI or library API; admitted programs can crash or produce incorrect runtime results.
Summary
What happened
Incorrect calculation in PREVAIL before 0.2.4 allows remote attackers to admit unsafe eBPF programs through verification. The ADD and SUB arms in src/ir/assertions.cpp accept pointer-typed ALU32 destinations without checking is64, while the transformer preserves the pointer type after zero-extension discards its upper half. Exploitation requires access to the verifier CLI or library API; admitted programs can crash or produce incorrect runtime results.
The record
- CVE
- CVE-2026-53706
- Published
- Sep 2, 2026
- Updated
- Sep 3, 2026
- Vendor
- vbpf
- Product
- PREVAIL
- Classifications
- CWE-682
- Attack vector
- network
- Privileges
- unauthenticated
Timeline
How it unfolded
- Sep 2, 2026CVE publishedPublication date reported by the CVE source.
- Sep 3, 2026Record updatedLatest update available in the CVE record.
Exploitability
Present is not the same as exploitable
Compare your product and version with the public record. A matching version still requires validation against your environment.
Is a vulnerable build present?
Compare these published version ranges with your installed build and any vendor patches.
- Affected versionversion=< 0.2.4
What conditions does exploitation require?
What is affected?
Published CVSS scores
CVSS describes severity. EPSS estimates exploitation probability.
Attacks
What attackers are doing with it
Daily unique IPs observed by Shadowserver honeypots for known exploited vulnerabilities (KEVs). Missing observations do not establish an absence of attacks.
Weakness, pattern, technique
Public exploit references
- GHSA-65fp-5qmq-gg2m command-line proof of conceptproof of concept · demonstrated
Labels summarize the accepted research assessment. They do not indicate a test against your environment.
Technologies
Your stack
See the directory against your own environment.
Your stack
Check the software in your environment
Book a demo to see how Hinoki identifies affected software and validates exploitability in your environment.
Book a demo