CVE-2024-56700

Linux kernel içerisinde aşağıdaki güvenlik açığı giderilmiştir: media: wl128x: fmc_send_cmd() fonksiyonundaki atomisite ihlali düzeltildi fmc_send_cmd() fonksiyonu, fmdev->resp_skb değerinin değiştirilmesiyle eş zamanlı olarak çalıştırıldığında atomisite ihlali meydana gelir. Fonksiyon içindeki geçerlilik kontrolünden geçtikten sonra, null olmayan bir fmdev->resp_skb değişkenine null değerinin atandığı bir senaryo düşünülürse; bu durum, geçersiz bir fmdev->resp_skb değişkeninin geçerlilik kontrolünü geçmesiyle sonuçlanır. Fonksiyonun ilerleyen kısımlarında görüldüğü üzere, skb = fmdev->resp_skb; ifadesinde geçersiz fmdev->resp_skb kontrolü geçtiğinde, 478. satırda evt_hdr = (void *)skb->data; kısmında bir null pointer dereference hatası oluşabilir. Bu sorunu gidermek için, fmdev->resp_skb'nin geçerlilik kontrolünün fonksiyonun kilitli bölümüne dahil edilmesi önerilir. Bu değişiklik, fmdev->resp_skb değerinin doğrulama işlemi sırasında değişmemesini sağlayarak geçerliliğini korur. Bu olası hata, ekibimiz tarafından geliştirilen deneysel bir statik analiz aracı ile bulunmuştur. Bu araç, eş zamanlı olarak yürütülebilecek fonksiyon çiftlerini çıkarmak için kilitleme API'lerini analiz eder ve ardından veri yarışları (data race) ve atomisite ihlalleri dahil olmak üzere olası eşzamanlılık hatalarını belirlemek için eşleşen fonksiyonlardaki talimatları analiz eder.