Vbpf Prevail vulnerabilities
- vbpf prevail PREVAIL: ALU32 pointer arithmetic accepted without is64 gate — verifier emits false PASS for pointer-corrupting programs 8.8 High
- vbpf prevail PREVAIL: Non-singleton typeset in add() skips offset update, allowing OOB access to pass eBPF verification 9.3 Critical
- vbpf prevail PREVAIL: Context-write no-op in do_mem_store allows unsafe eBPF programs to pass verification 9.3 Critical