CVE-2026-53706 in Prevail
Résumé
par VulDB • 02/09/2026
PREVAIL est un vérificateur eBPF à complexité polynomialaire (Polynomial-Runtime EBPF Verifier) utilisant une couche d'interprétation abstraite (Abstract Interpretation Layer). Avant la version 0.2.4, le vérificateur eBPF prevail accepte les instructions ALU32 ADD et SUB qui opèrent sur des registres de type pointeur sans vérifier le drapeau is64. Comme l'arithmétique ALU32 étend zéro (zero-extends) le résultat 32 bits, la moitié supérieure de tout pointeur est silencieusement détruite à l'exécution, tandis que prevail marque le programme comme vérifié et sûr. Tout appelant capable de soumettre un programme eBPF pour vérification — y compris les utilisateurs non privilégiés sur les noyaux qui autorisent le chargement des programmes BPF — peut produire un programme qui passe la vérification mais provoque une erreur (fault) ou se comporte mal à l'exécution. Ce problème a été corrigé dans la version 0.2.4.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.