CVE-2024-42151

Kernel do Linux (versões afetadas não especificadas)

O problema está relacionado à funcionalidade bpf (Berkeley Packet Filter) do kernel do Linux. Um caso de teste, dummy st ops/dummy init ret value, passa um valor NULL como primeiro parâmetro para a função test 1(). Para evitar uma possível desreferência de ponteiro NULL, o parâmetro bpf dummy struct ops.test 1 é marcado como nulo. Essa alteração faz com que o verificador reconheça a possibilidade de um valor NULL ser passado, impedindo assim a remoção da verificação de NULL no código test 1(). A função test 1() é definida com a anotação SEC(“struct ops/test 1”) e utiliza o parâmetro struct bpf dummy ops state *state.

No momento, não há informações sobre uma versão mais recente que contenha uma correção para essa vulnerabilidade.