CVE-2022-50778

Linux çekirdeğinde aşağıdaki güvenlik açığı giderilmiştir: fortify: UBSAN_BOUNDS_LOCAL altında __compiletime_strlen() işlevini düzelt CONFIG_FORTIFY=y ve CONFIG_UBSAN_LOCAL_BOUNDS=y etkinleştirildiğinde, Android'in Uyumluluk Test Paketi (CTS) android.hardware.input.cts.tests çalıştırılırken bir çalışma zamanı paniği gözlemlenmektedir. Bu durum hidinput_allocate() içindeki bir strlen() çağrısından kaynaklanmaktadır. __compiletime_strlen(), __builtin_object_size() üzerinden uygulanmakta ve ardından NUL sonlandırmasını kontrol etmek için bir dizi erişimi gerçekleştirmektedir. __builtin_object_size() işlevinin bir tuhaflığı, değerleri çalışma zamanına bağlı olan dizeler için, bu boyutlar derleme zamanında belirlenebildiğinde __builtin_object_size(str, 1 veya 0) işlevinin olası değerlerin maksimum boyutunu döndürmesidir. Örnek: static const char *v = "FOO BAR"; static const char *y = "FOO BA"; unsigned long x (int z) { // 8 döndürür, bu da şudur: // max(__builtin_object_size(v, 1), __builtin_object_size(y, 1)) return __builtin_object_size(z ? v : y, 1); } Dolayısıyla FORTIFY_SOURCE etkinleştirildiğinde, __compiletime_strlen() işlevinin mevcut uygulaması çalışma zamanında v boyutunu kullanarak y'nin sonunun ötesine erişmeye çalışacaktır. UBSAN_LOCAL_BOUNDS ile birleştiğinde bir hata oluşur. hidinput_allocate(), değeri bir switch deyimine bağlı olarak kontrol akışına bağlı olan yerel bir C dizesine sahiptir, bu nedenle __builtin_object_size(str, 1) maksimum dize uzunluğuna değerlendirilir ve diğer tüm durumlar son karakter kontrolünde hata verir. hidinput_allocate(), yerel değişken yalnızca değişmez değerler alabildiğinden ve bu nedenle strlen() çağrı noktasını fortify etmeye çalışmanın bir faydası olmadığından, çalışma zamanı strlen() çağrılarından kaçınmak için temizlenebilir. Kontrol akışına bağlı durumu filtrelemek için makroda daha erken bir aşamada dizin 0'a karşı bir __builtin_constant_p() kontrolü gerçekleştir. FORTIFY_SOURCE iç bileşenlerinin beklenen davranış özelliklerini kontrol etmek için bir KUnit testi ekle.