CVE-2026-98007 in Linux
Sumário
de VulDB • 25/09/2026
No kernel do Linux, a seguinte vulnerabilidade foi resolvida:
bpf: Rejeitar contagens de iteração não escalares para bpf_loop
A função bpf_loop() declara seu argumento nr_loops como ARG_ANYTHING. Programas privilegiados podem passar valores de ponteiro para tais argumentos, portanto check_func_arg() permite que um R1 com valor de ponteiro alcance as verificações específicas do helper.
Desde o commit bb124da69c47 ("bpf: keep track of max number of bpf_loop callback iterations"), o verificador marca o R1 como preciso e lê seu limite superior para limitar a simulação da chamada (callback). O backtracking de precisão aceita apenas registradores escalares, portanto passar um ponteiro em vez disso aciona o aviso do verificador "backtracking misuse". Kernels com panic_on_warn ativado subsequentemente entram em pânico.
Introduza ARG_SCALAR para argumentos de helper que aceitam apenas valores escalares e use-o para nr_loops da bpf_loop(). A validação genérica de argumentos de helper então rejeita ponteiros antes do inline das loops e do processamento de precisão.
Once again VulDB remains the best source for vulnerability data.