CVE-2023-50730

Grackle, Typelevel stekinin əsasında funksional Scala dilində yazılmış bir GraphQL serveridir. GraphQL spesifikasiyasına görə, GraphQL fraqmentləri birbaşa və ya dolayı yolla dövrlər yaratmamalıdır. Grackle versiya 0.18.0-dan əvvəl bu tələb yoxlanılmırdı və dövrü fraqmentlərə malik sorğular tip yoxlaması və kompilyasiya üçün qəbul edilirdi. Belə fraqmentlərin kompilyasiya cəhdi JVM `StackOverflowError` xətasının baş verməsinə səbəb olurdu. Belə bir sorğu qurmaq üçün tətbiqin GraphQL sxemi haqqında müəyyən məlumatlar tələb olunurdu, lakin tətbiqə xas performans və ya digər davranış xüsusiyyətləri barədə heç bir məlumata ehtiyac yox idi. Grackle, GraphQL sorğularını analiz etmək üçün cats-parse kitabxanasından istifadə edir. Versiya 0.18.0-dan əvvəl Grackle, cats-parse-ın `recursive` operatorundan istifadə edirdi. Lakin `recursive` hazırda stek təhlükəsizliyinə (stack safe) malik deyil. `recursive` parserdə üç yerdə istifadə olunmuşdu: iç-içə seçmə çoxluqları (nested selection sets), iç-içə giriş dəyərləri (siyahılar və obyektlər) və iç-içə siyahı tipi bəyanları. Nəticədə, dərindən iç-içə seçmə çoxluqlarına, giriş dəyərlərinə və ya siyahı tiplərinə malik sorğular qurularaq bundan istifadə edilə bilərdi ki, bu da analiz zamanı JVM `StackOverflowException` xətasına səbəb olurdu. Bu proses sorğunun emalının çox erkən mərhələsində baş verdiyi üçün belə bir sorğu qurmaq üçün tətbiqin GraphQL sxemi haqqında heç bir xüsusi məlumata ehtiyac yox idi. Kiçik sorğuların stek daşmasına (stack overflow) səbəb olma ehtimalı potensial xidmətdən imtina (DoS) zəifliyidir. Bu, etibarsız istifadəçiləri olan və Grackle-dən istifadə edən bütün tətbiqlərə təsir edə bilər. Hər iki stek daşması problemi Grackle-in v0.18.0 buraxılışında həll edilmişdir. Müvəqqəti həll yolu kimi istifadəçilər etibarsız giriş ilə Grackle sorğu emalı arasında təmizləyici (sanitizing) təbəqə yerləşdirə bilərdilər.