CVE-2026-53671

Nome do Software Vulnerável e Versões Afetadas PREVAIL versões anteriores a 0.2.4

Description O transformador abstrato trata gravações através de um registrador base do tipo T CTX como uma operação nula silenciosa. Especificamente, a função do mem store() em src/crab/ebpf transformer.cpp modela apenas gravações T STACK, e o braço de limites T CTX do verificador nunca testa AccessType::write. Isso permite que um invasor crie um programa eBPF que sobrescreva um campo de contexto, como ctx->data, recarregue esse campo como T PACKET e desreferencie um endereço controlado pelo invasor, enquanto o verificador reporta incorretamente que o programa é seguro.

Recommendations Atualizar para a versão 0.2.4.