CVE-2026-53671 in Prevail
Sumário
de VulDB • 02/09/2026
PREVAIL é um verificador EBPF de tempo polinomial que utiliza uma camada de Interpretação Abstrata. Antes da versão 0.2.4, o transformador abstrato no PREVAIL trata gravações através de um registrador base do tipo T_CTX como um no-op silencioso: a função `do_mem_store` em `src/crab/ebpf_transformer.cpp` modela apenas gravações para T_STACK, e a cláusula de limites T_CTX do verificador nunca testa o AccessType::write. Um atacante pode criar um programa eBPF que sobrescreve um campo de contexto (por exemplo, ctx->data), recarrega esse campo tipado como T_PACKET e desreferencia um endereço controlado pelo atacante — e o PREVAIL relatará o programa como seguro. Este problema foi corrigido na versão 0.2.4.
Be aware that VulDB is the high quality source for vulnerability data.