CVE-2025-38607

Nome do Software Vulnerável e Versões Afetadas: Kernel Linux (versões afetadas não especificadas)

Descrição: O kernel Linux contém um problema onde o salto condicional BPF JSET não é tratado corretamente durante a computação do grafo de fluxo de controle (CFG). Isso pode levar a cálculos incorretos de vivência de registradores e de componentes fortemente conectados (SCC). Especificamente, a função can jump() em verifier.c não reconhece BPF JSET como uma instrução de salto. Isso pode fazer com que o verificador deixe de identificar alvos de salto potenciais, levando a uma análise de vivência de registradores imprecisa.

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