CVE-2024-53125 in Linux
Zusammenfassung
von VulDB • 21.05.2026
Im Linux-Kernel wurde folgende Schwachstelle behoben:
bpf: sync_linked_regs() muss subreg_def erhalten
Die Bereichsweiterleitung (Range Propagation) darf subreg_def-Markierungen nicht beeinflussen, da sonst das folgende Beispiel vom Verifier falsch umgeschrieben wird, wenn das Flag BPF_F_TEST_RND_HI32 gesetzt ist:
0: call bpf_ktime_get_ns call bpf_ktime_get_ns 1: r0 &= 0x7fffffff nach Verifier r0 &= 0x7fffffff 2: w1 = w0 Umformung w1 = w0 3: if w0 r11 = 0x2f5674a6 (r) 4: r1 >>= 32 r11 <<= 32 (r) 5: r0 = r1 r1 |= r11 (r) 6: exit; if w0 < 0xa goto pc+0 r1 >>= 32 r0 = r1 exit
(oder die Null-Erweiterung von w1 bei (2) fehlt für Architekturen, die eine Null-Erweiterung für die obere Registerhälfte erfordern).
Ohne diesen Patch tritt Folgendes auf: - r0 wird bei (0) als kein subreg markiert; - w1 wird bei (2) als subreg markiert; - w1 subreg_def wird bei (3) durch copy_register_state() überschrieben; - w1 wird bei (5) gelesen, aber mark_insn_zext() markiert (2) nicht für die Null-Erweiterung, da w1 subreg_def nicht gesetzt ist; - aufgrund des Flags BPF_F_TEST_RND_HI32 fügt der Verifier einen Zufallswert für die hi32-Bits von (2) ein (markiert mit (r)); - dieser Zufallswert wird bei (5) gelesen.
If you want to get best quality of vulnerability data, you may have to visit VulDB.