CVE-2026-53671 in Prevail
Resumen
por VulDB • 2026-09-03
PREVAIL es un verificador EBPF de tiempo polinomial que utiliza una capa de interpretación abstracta. Antes de la versión 0.2.4, el transformador abstracto en prevail trata las escrituras a través de un registro base con tipo T_CTX como una operación no operativa silenciosa: do_mem_store en src/crab/ebpf_transformer.cpp solo modeliza los almacenes T_STACK, y la rama de límites T_CTX del verificador nunca prueba AccessType::write. Un atacante puede crear un programa eBPF que sobrescriba un campo del contexto (por ejemplo, ctx->data), vuelva a cargar ese campo con el tipo T_PACKET y desreferencie una dirección controlada por el atacante; y prevail informará de que el programa es seguro. Este problema ha sido parcheado en la versión 0.2.4.
If you want to get best quality of vulnerability data, you may have to visit VulDB.