Podatności snappy-java

snappy-java to port Java szybkiego kompresora/dekompresora snappy opracowanego przez Google. W wersjach przed 1.1.10.9 funkcja Snappy.arrayCopy(Object src, int offset, int byteLength, Object dest, int destOffset) przekazuje zakresy podane przez wywołującego do natywnego memcpy bez walidacji którejkolwiek tablicy, co pozwala na ujemne lub zbyt duże wartości byteLength i offset powodujące odczyt lub zapis poza granicami tablicy i awarię JVM. Metody SnappyOutputStream.rawWrite i SnappyInputStream.rawRead, w tym ich metody zapisu i odczytu tablic typowanych, przekazują zakresy kontrolowane przez wywołującego przez ten prymityw, a obliczenia rozmiaru bajtów tablic typowanych mogą powodować przepełnienie int. Problem naprawiono w wersji 1.1.10.9.

Xerial snappy-java przed wersją 1.1.10.9 zawiera podatność nieograniczonej alokacji pamięci, która pozwala atakującym wyczerpać pamięć JVM poprzez zadeklarowanie dużej długości nieskompresowanych danych w skompresowanym wejściu. Atakujący może dostarczyć kilka spreparowanych bajtów do Snappy.uncompress, uncompressString, SnappyInputStream lub SnappyFramedInputStream, aby wymusić alokacje do 2 GB, powodując OutOfMemoryError i odmowę usługi.

Biblioteka Xerial snappy-java od wersji 1.1.7.4 do 1.1.10.10 zawiera podatność podwójnego zwolnienia w SnappyFramedInputStream, która zwraca bufory z puli dwukrotnie, gdy alokacja zastępcza zawiedzie. Atakujący mogą dostarczyć dane ramkowe z dużym zadeklarowanym rozmiarem fragmentu, aby wywołać OutOfMemoryError, powodując współdzielone tablice, które ujawniają lub nadpisują zdekompresowane dane innych strumieni.

snappy-java do wersji 1.1.10.8 zawiera podatność na przepełnienie bufora w funkcji Snappy.compress(ByteBuffer, ByteBuffer), która zapisuje poza koniec bufora docelowego. Atakujący mogą dostarczyć niekompresowalne dane przekraczające pozostałą pojemność bufora docelowego, co powoduje uszkodzenie pamięci poza stertą i zakończenie działania JVM.

snappy-java do wersji 1.1.10.8 zawiera podatność przepełnienia bufora w metodach Snappy.uncompress*Array, które alokują tablice wyjściowe, dzieląc nieskompresowaną długość przez rozmiar elementu, ale przekazują niepodzieloną długość do kodu natywnego. Atakujący kontrolujący skompresowane dane wejściowe mogą spowodować zapis poza granicami tablicy, uszkadzając pamięć sterty.

snappy-java w wersjach do 1.1.10.8 zawiera podatność zapisu poza granicami w metodzie Snappy.uncompress(ByteBuffer, ByteBuffer), ponieważ pojemność bufora docelowego nie jest walidowana względem rozmiaru zdekompresowanych danych. Atakujący może dostarczyć prawidłowe skompresowane dane, które dekompresują się do większego rozmiaru niż bufor docelowy, powodując zapisy poza granicami bufora i zakończenie pracy JVM.

W bibliotece snappy-java występuje błąd związany z niekontrolowaną długością fragmentu, który może prowadzić do krytycznego błędu w wersjach przed 1.1.10.1. Funkcja hasNextChunk nie sprawdza poprawności zmiennej chunkSize, co może skutkować wyjątkiem NegativeArraySizeException lub OutOfMemoryError.

W bibliotece snappy-java występuje problem z niekontrolowanymi mnożeniami, co może prowadzić do przepełnienia całkowitego w wersjach przed 1.1.10.1. Funkcja `compress(char[] input)` nie sprawdza długości tablicy, co może skutkować błędami krytycznymi.

W bibliotece snappy-java występuje podatność związana z niekontrolowanymi mnożeniami, co może prowadzić do przepełnienia całkowitego w wersjach przed 1.1.10.1. Funkcja `shuffle(int[] input)` może spowodować krytyczny błąd, gdy długość tablicy nie jest odpowiednio sprawdzana.