CVE-2026-31413
bpf: Corrige a bifurcação escalar não sólida em maybe_fork_scalars() para BPF_OR
- Publicado
- 12 de abr. de 2026
- Atualizado
- 5 de ago. de 2026
- Atribuindo CNA
- Linux
- Evidência observada
- 19 de ago. de 2026
CVSS primário
nvd · CVSS 3.1
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:HBaixo · próximos 30 dias
- Percentil
- 12,9%
- Data do modelo
- 21 de set. de 2026
EPSS é uma estimativa estatística, não uma certeza ou uma medida de impacto. Combine-o com CVSS, status KEV, exposição e seu ambiente.
Resumo
No kernel Linux, a seguinte vulnerabilidade foi resolvida: bpf: Corrige a bifurcação escalar não sólida em maybe_fork_scalars() para BPF_OR maybe_fork_scalars() é chamada tanto para BPF_AND quanto para BPF_OR quando o operando de origem é uma constante. Quando dst tem intervalo com sinal [-1, 0], ela bifurca o estado do verificador: o caminho empurrado obtém dst = 0, o caminho atual obtém dst = -1. Para BPF_AND isso está correto: 0 & K == 0. Para BPF_OR isso está errado: 0 | K == K, não 0. O caminho empurrado, portanto, rastreia dst como 0 quando o valor em tempo de execução é K, produzindo uma divergência explorável entre verificador e tempo de execução que permite acesso fora dos limites ao mapa. Corrija isso passando env->insn_idx (em vez de env->insn_idx + 1) para push_stack(), de modo que o caminho empurrado re-execute a instrução ALU com dst = 0 e calcule naturalmente o resultado correto para qualquer opcode.
Fontes
1CVE-2026-31413: bug de solidez do verificador BPF - escape de contêiner
Uso responsável
Use informações de vulnerabilidade apenas em sistemas que você possui ou está autorizado a testar. O Kitploit vincula-se a metadados de pesquisa pública e não armazena código de exploração ou cargas maliciosas.