CVE-2025-38349

Linux nüvəsində aşağıdakı zəiflik aradan qaldırılıb: eventpoll: ep mutex-i hələ də saxlayarkən ep refcount-u azaltmayın Jann Horn qeyd edir ki, epoll ep refcount-u azaldır və sonra bunu yerinə yetirir: mutex_unlock(&ep->mtx); Bu çox yanlışdır, çünki bu, use-after-free xətasına səbəb ola bilər. Bu model əslində ən son istinad üçün uyğundur, çünki sözügedən kod "ep_free(ep)" funksiyasının faktiki çağırılmasını mutex kilidi açılana qədər təxirə salacaq. Lakin bu, daha mürəkkəb olan "sondan ikinci" halı üçün yanlışdır; belə ki, biz hələ də mutex-dən istifadə edərkən *başqa biri* də öz istinadını silə və ep obyektini azad edə bilər. Nəzərə alın ki, bu, hətta digər istifadəçi də eyni ep mutex-indən istifadə etdikdə belə doğrudur: spinlock-lardan fərqli olaraq, mutex-lər qarşılıqlı istisnaetmanı (mutual exclusion) təmin etsələr belə, obyekt mülkiyyəti üçün istifadə edilə bilməzlər. Mutex "unlock" əməliyyatı atomik deyil və bir istifadəçi onu açmağın tərkib hissəsi kimi mutex-ə hələ də müraciət etdiyi zaman, başqa bir istifadəçi gəlib artıq sərbəst buraxılmış mutex-i götürə və birinci istifadəçi hələ də təmizləmə işləri apardığı halda məlumat strukturunu azad edə bilər. Documentation/locking/mutex-design.rst faylındakı mutex sənədlərimizə, xüsusilə semantika haqqında [1] bölməsinə baxın: "mutex_unlock() daxili olaraq kilidi artıq sərbəst buraxdıqdan sonra belə mutex strukturuna müraciət edə bilər - buna görə də başqa bir kontekstin mutex-i əldə etməsi və mutex_unlock() kontekstinin artıq strukturdan istifadə etmədiyini fərz etməsi təhlükəsiz deyil" Beləliklə, əgər biz mutex unlock-dan əvvəl ep ref-ni atsaq, lakin sonuncu istifadəçi deyilsək, sonra mutex-i aça bilərik, başqa bir istifadəçi gələr, _öz_ istinadını silər və artıq heç bir istifadəçisi qalmadığı üçün 'ep'-ni azad edər - bütün bunlar mutex_unlock() hələ də ona müraciət etdiyi zaman baş verir. Bunu, ep refcount-un azaldılmasını sadəcə mutex-dən kənara köçürməklə düzəldin: refcount-un özü atomikdir və mutex qorumasına ehtiyacı yoxdur (refcount-ların əsas *məqsədi* budur: mutex-lərdən fərqli olaraq, onlar mahiyyətcə obyektlərin ömrü ilə bağlıdır).