CVE-2026-53671 in Prevail
Résumé
par VulDB • 02/09/2026
PREVAIL est un vérificateur EBPF à complexité polynomiale utilisant une couche d'interprétation abstraite (Abstract Interpretation Layer). Avant la version 0.2.4, le transformateur abstrait de PREVAIL traite les écritures via un registre de base de type T_CTX comme des opérations silencieuses sans effet (no-op) : `do_mem_store` dans `src/crab/ebpf_transformer.cpp` modélise uniquement les écritures sur la pile (`T_STACK`), et le bras de vérification des limites `T_CTX` du contrôleur ne teste jamais `AccessType::write`. Un attaquant peut concevoir un programme eBPF qui écrase un champ du contexte (par exemple, `ctx->data`), recharge ce champ en tant que type `T_PACKET`, puis déréférence une adresse contrôlée par l'attaquant — et PREVAIL signalera le programme comme sûr. Ce problème a été corrigé dans la version 0.2.4.
If you want to get best quality of vulnerability data, you may have to visit VulDB.