CVE-2025-38607
Açıklama
Linux çekirdeğinde aşağıdaki güvenlik açığı giderilmiştir: bpf: CFG hesaplamasında jset (if a & b ...) işleminin bir sıçrama olarak ele alınması BPF_JSET koşullu bir sıçramadır ve şu anda verifier.c:can_jump() bunun farkında değildir. Bu durum, hatalı canlı yazmaçlar ve SCC hesaplamasına yol açabilir. Örneğin aşağıdaki örnekte: 1: r0 = 1; 2: r2 = 2; 3: if r1 & 0x7 goto +1; 4: exit; 5: r0 = r2; 6: exit; Bu düzeltme olmadan insn_successors(3) yalnızca (4)'ü döndürecek, (5)'e olan sıçrama gözden kaçacak ve r2, (3) noktasında canlı olarak işaretlenmeyecektir.
Nasıl düzeltilir
- linux linux_kernel6.15.10, 6.16.1 ya da sonraki bir sürüm
Etkilenen ürünler
| Ürün | Etkilenen sürümler | Düzeltildiği sürüm |
|---|---|---|
| linux linux_kernel | 6.15 ≤ v < 6.15.10, 6.16 ≤ v < 6.16.1 | 6.15.10, 6.16.1 |
Sürümünüzü kontrol edin
Ürünü seçin ve kullandığınız sürümü yazın; sürümün etkilenen aralıkta olup olmadığını görün.
Attack Surface Management
Alan adlarınıza bağlı varlıkları, bu varlıklarda çalışan teknolojileri ve bilinen zafiyetleri tek listede görün.