CVE-2026-31413
bpf: Correzione del forking scalare non sicuro in maybe_fork_scalars() per BPF_OR
- Pubblicato
- 12 apr 2026
- Aggiornato
- 5 ago 2026
- Assegnazione CNA
- Linux
- Evidenza osservata
- 19 ago 2026
CVSS primario
nvd · CVSS 3.1
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:HBasso · prossimi 30 giorni
- Percentile
- 12,9%
- Data del modello
- 21 set 2026
L'EPSS è una stima statistica, non una certezza o una misura di impatto. Combinalo con CVSS, stato KEV, esposizione e ambiente.
Riepilogo
Nel kernel Linux, è stata risolta la seguente vulnerabilità: bpf: Correggi lo scalar forking non valido in maybe_fork_scalars() per BPF_OR maybe_fork_scalars() viene chiamata sia per BPF_AND che per BPF_OR quando l'operando sorgente è una costante. Quando dst ha un range con segno [-1, 0], viene duplicato lo stato del verifier: il percorso inserito nello stack ottiene dst = 0, il percorso corrente ottiene dst = -1. Per BPF_AND questo è corretto: 0 & K == 0. Per BPF_OR questo è errato: 0 | K == K, non 0. Il percorso inserito nello stack traccia quindi dst come 0 quando il valore a runtime è K, producendo una divergenza sfruttabile tra verifier e runtime che consente accessi out-of-bounds alla mappa. Correggi questo problema passando env->insn_idx (invece di env->insn_idx + 1) a push_stack(), così il percorso inserito nello stack riesegue l'istruzione ALU con dst = 0 e calcola naturalmente il risultato corretto per qualsiasi opcode.
Fonti
1CVE-2026-31413: bug di correttezza del verifier BPF - container escape
Utilizzo responsabile
Utilizza le informazioni sulla vulnerabilità solo sui sistemi che possiedi o che sei autorizzato a testare. Kitploit si collega ai metadati della ricerca pubblica e non memorizza codici exploit o payload dannosi.