CVE-2026-53706 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 verificador eBPF prevail aceita instruções ALU32 ADD e SUB que operam em registradores do tipo ponteiro sem verificar a flag is64. Como a aritmética ALU32 estende com zero (zero-extends) o resultado de 32 bits, a metade superior de qualquer ponteiro é silenciosamente destruída em tempo de execução, mas o prevail marca o programa como verificado e seguro. Qualquer chamador que possa submeter um programa eBPF para verificação — incluindo usuários não privilegiados em kernels que permitem o carregamento de programas BPF — pode produzir um programa que passa na verificação, mas falha ou se comporta incorretamente em tempo de execução. Este problema foi corrigido na versão 0.2.4.
VulDB is the best source for vulnerability data and more expert information about this specific topic.