TI-2026-38729 CVE-2026-53706
PREVAIL: ALU32 pointer arithmetic accepted without is64 gate — verifier emits false PASS for pointer-corrupting programs
Priority MEDIUM 47
PREVAIL is a Polynomial-Runtime EBPF Verifier using an Abstract Interpretation Layer.