No kernel Linux, a seguinte vulnerabilidade foi resolvida: bpf: Corrigir o comportamento indefinido no sdiv/smod do intérprete para INT_MIN O intérprete BPF assinado 32 -bit division e módulo manipuladores usam a macro do kernel abs() em s 32 Operandos. A documentação de macro abs() (include/linux/math.h) explicitamente indica que o resultado não está definido quando a entrada é o mínimo de tipo. Quando o DST contém S 32 _MIN ( 0 x 80000000 ), abs( s) 32 ) DST) ativa o comportamento indefinido e retorna S 32 _MIN inalterado no braço 64 /x 86. Este valor é então estendido ao signo para u 64 como 0 xFFFFFFFF 80000000, fazendo com que do_ div() compute o resultado errado. Interpretação resumo do verificador (escala 32 _min_max_sdiv) calcula o resultado matematicamente correto para rastreamento de intervalos, criando um desconhecimento verificador/interpretador que pode ser explorado para acesso ao valor do mapa fora de limites. Introduz abs_s 32 () que manipula S 32 _MIN corretamente, usando o molde para u 32 antes de negar, evitando um sobrepeso assinado inteiramente. Substituir todos 8 abs( s) 32 )...) sites de chamadas no div do intérprete 32 /smod 32 manipuladores. s 32 é o único caso afetado -- o s 64 os manipuladores de divisão/ módulo não usam abs(). O registro de base de dados de vulnerabilidade nacional CVE- 2026 - 31525 foi publicado em 2026 - 04 - 22 T 14: 16: 52.607 Z e última modificação em 2026 - 06 - 17 T 10: 33: 54.867 Z. O seu estado gravado é analisado.
métricas de vulnerabilidade gravadas: CVSS 3.1, pontuação de base 7.8, gravidade HIGH, vetor CVSS: 3.1 /AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H, pontuação de exploração 1.8, pontuação de impacto 5.9. Classificações de fraqueza associadas: CWE- 787.
Os produtos ou plataformas nomeados nos dados de aplicabilidade incluem: kernel linux linux.
O registro NVD inclui referências de suporte documentando a vulnerabilidade, tecnologia afetada ou informações de remediação.