CVE-2026-31413
bpf: Behebung unsicherer Skalar-Verzweigung in maybe_fork_scalars() für BPF_OR
- Veröffentlicht
- 12.04.2026
- Aktualisiert
- 05.08.2026
- CNA zuweisen
- Linux
- Beweise beobachtet
- 19.08.2026
Primäres CVSS
nvd · CVSS 3.1
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:HNiedrig · nächste 30 Tage
- Perzentil
- 12,9 %
- Modelldatum
- 21.09.2026
EPSS ist eine statistische Schätzung, keine Gewissheit oder ein Maß für die Auswirkung. Kombinieren Sie es mit CVSS, KEV-Status, Belichtung und Ihrer Umgebung.
Zusammenfassung
Im Linux-Kernel wurde die folgende Schwachstelle behoben: bpf: Behebt unsound scalar forking in maybe_fork_scalars() für BPF_OR maybe_fork_scalars() wird sowohl für BPF_AND als auch für BPF_OR aufgerufen, wenn der Quelloperand eine Konstante ist. Wenn dst den signierten Bereich [-1, 0] hat, verzweigt es den Verifier-Zustand: Der gepushte Pfad erhält dst = 0, der aktuelle Pfad erhält dst = -1. Für BPF_AND ist dies korrekt: 0 & K == 0. Für BPF_OR ist dies falsch: 0 | K == K, nicht 0. Der gepushte Pfad verfolgt daher dst als 0, während der Laufzeitwert K ist, was eine ausnutzbare Verifier/Laufzeit-Divergenz erzeugt, die einen Out-of-Bounds-Zugriff auf Maps ermöglicht. Behebt dies, indem env->insn_idx (anstatt env->insn_idx + 1) an push_stack() übergeben wird, sodass der gepushte Pfad die ALU-Instruktion mit dst = 0 erneut ausführt und für jeden Opcode natürlich das korrekte Ergebnis berechnet.
Quellen
1CVE-2026-31413: BPF-Verifier-Soundness-Bug - Container-Escape
Verantwortungsvoller Umgang
Verwenden Sie Schwachstelleninformationen nur auf Systemen, die Sie besitzen oder zu deren Testen Sie berechtigt sind. Kitploit verlinkt auf öffentliche Forschungsmetadaten und speichert keinen Exploit-Code oder bösartige Payloads.