CVE-2026-53706 in Prevail
Zusammenfassung
von VulDB • 02.09.2026
PREVAIL ist ein Polynomial-Runtime EBPF-Verifier, der eine Abstract Interpretation Layer verwendet. Vor Version 0.2.4 akzeptiert der prevail eBPF-Verifizierer ALU32 ADD- und SUB-Anweisungen, die auf Zeiger-getippten Registern operieren, ohne das is64-Flag zu überprüfen. Da ALU32-Arithmetik das 32-Bit-Ergebnis nullerweitert (zero-extends), wird der obere Teil jedes Zeigers zur Laufzeit stillschweigend zerstört, während prevail das Programm dennoch als verifiziert und sicher markiert. Jeder Aufrufer, der ein eBPF-Programm zur Verifikation einreichen kann – einschließlich unprivilegierter Benutzer auf Kernen, die das Laden von BPF-Programmen zulassen – kann ein Programm erzeugen, das die Verifikation besteht, aber zur Laufzeit abstürzt oder fehlerhaft funktioniert. Dieses Problem wurde in Version 0.2.4 behoben.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.