CVE-2022-50778

Linux nüvəsində aşağıdakı boşluq aradan qaldırılmışdır: fortify: UBSAN_BOUNDS_LOCAL altında __compiletime_strlen() funksiyasının düzəldilməsi CONFIG_FORTIFY=y və CONFIG_UBSAN_LOCAL_BOUNDS=y aktiv olduqda, Android-in Uyğunluq Test Dəstinin (CTS) android.hardware.input.cts.tests testləri işə salınarkən çalışma zamanı panika (runtime panic) müşahidə olunur. Bu, hidinput_allocate() daxilindəki strlen() çağırışından qaynaqlanır. __compiletime_strlen() funksiyası __builtin_object_size() əsasında tətbiq edilmişdir, daha sonra NUL-sonlandırmanı yoxlamaq üçün massivə müraciət edir. __builtin_object_size()-nın bir xüsusiyyəti ondan ibarətdir ki, dəyərləri çalışma zamanı müəyyən edilən sətirlər üçün __builtin_object_size(str, 1 və ya 0), həmin ölçülər tərtib zamanı (compile time) təyin edilə bildikdə mümkün dəyərlərin maksimum ölçüsünü qaytarır. Misal: static const char *v = "FOO BAR"; static const char *y = "FOO BA"; unsigned long x (int z) { // 8 qaytarır, hansı ki: // max(__builtin_object_size(v, 1), __builtin_object_size(y, 1)) return __builtin_object_size(z ? v : y, 1); } Beləliklə, FORTIFY_SOURCE aktiv olduqda, __compiletime_strlen()-ın cari tətbiqi çalışma zamanı v-nin ölçüsündən istifadə edərək y-nin sonundan kənara müraciət etməyə çalışacaq. UBSAN_LOCAL_BOUNDS ilə birlikdə bu, xətaya (fault) səbəb olur. hidinput_allocate() funksiyasında dəyəri switch operatorundan asılı olan lokal C sətiri var, buna görə də __builtin_object_size(str, 1) maksimum sətir uzunluğunu hesablayır və digər bütün hallar sonuncu simvolun yoxlanılması zamanı xəta verir. Lokal dəyişən yalnız literal dəyərlərə malik ola bildiyi üçün, strlen()-ə çalışma zamanı çağırışları verməmək məqsədilə hidinput_allocate() təmizlənə bilərdi, beləliklə orada strlen çağırış nöqtəsini gücləndirməyə (fortify) ehtiyac qalmazdı. İdarəetmə axınından asılı halları filtrləmək üçün makronun əvvəlində indeks 0 üzrə __builtin_constant_p() yoxlamasını yerinə yetirin. FORTIFY_SOURCE daxili mexanizmlərinin gözlənilən davranış xüsusiyyətlərini yoxlamaq üçün KUnit testi əlavə edin.