CVE-2026-98084

Linux kernel içerisinde aşağıdaki güvenlik açığı giderilmiştir: bpf: geri izleme (backtracking), geri çağırmalar için dış çerçeve R1-R5 kayıtlarını temizlememeli bpf_loop() çağrıları işlenirken verifier, R1 (ve R4) kayıtlarını kesin (precise) olarak işaretler. R1 döngü yineleme sayısını takip eder ve check_helper_call() içerisindeki 'callback_depth < R1' mekanizması nedeniyle kesin olarak işaretlenmelidir. Ancak, bpf_loop() çağrısı ikinci bir yinelemede doğrulandığında R1 için kesinlik yayılımı bozulmaktaydı. Aşağıdaki doğrulama izini inceleyin: - main: bpf_loop(nr_loops, callback ...) - callback: BPF_EXIT - main: bpf_loop(nr_loops, callback ...) - ... bpf_loop() çağrısına yapılan ilk ziyarette R1 kesinliği beklendiği gibi yayılırken, check_helper_call() içindeki mark_chain_precision() fonksiyonuna yapılan ikinci çağrı R1'i ayarlamış ancak backtrack_insn(), bu yamada silinen döngüdeki önceki BPF_EXIT işlemini işlediğinde R1 hemen sıfırlanmıştır. Bu nedenle, bpf_loop() çağrısının ikinci ziyareti, R1 kesin olarak işaretlenmemiş bir kontrol noktası (checkpoint) eklemiştir. Bu durum, verifier'ın güvenli olmayan programları kabul etmesine yol açabilirdi. Böyle bir programa örnek için bir sonraki yamaya bakınız. Commit, 'bpf' nihayetinde 'bpf-next' ile birleştirildiğinde çakışmaları en aza indirecek şekilde yapılandırılmıştır.