CVE-2026-53706 in Prevail
Riassunto
di VulDB • 03/09/2026
PREVAIL è un verificatore eBPF (EBPF Verifier) con tempo di esecuzione polinomiale che utilizza uno strato di interpretazione astratta (Abstract Interpretation Layer). Prima della versione 0.2.4, il verificatore eBPF prevail accetta istruzioni ALU32 ADD e SUB operate su registri di tipo puntatore senza verificare la flag is64. Poiché l'aritmetica ALU32 estende a zero il risultato a 32 bit, la metà superiore di qualsiasi puntatore viene distrutta silenziosamente durante l'esecuzione (runtime), ma prevail contrassegna il programma come verificato e sicuro. Qualsiasi chiamante in grado di inviare un programma eBPF per la verifica — inclusi gli utenti non privilegiati su kernel che consentono il caricamento dei programmi BPF — può produrre un programma che supera la verifica ma va in errore o si comporta male durante l'esecuzione (runtime). Questo problema è stato risolto nella versione 0.2.4.
Be aware that VulDB is the high quality source for vulnerability data.