Podatności Pillow

W koderze libtiff w Pillow (funkcja PyImaging_LibTiffEncoderNew w src/encode.c) spreparowane znaczniki TIFF mogą powodować ujawnienie zawartości pamięci oraz błąd segmentacji. Problem występuje podczas tworzenia kodera LibTiff.

Pillow (PIL) w EpsImagePlugin.py w funkcji Ghostscript() pozwala Ghostscript renderować poza limitem bomby dekompresyjnej podczas ładowania EPS ze skalowaniem. Może to prowadzić do nadmiernego zużycia zasobów.

Koła (wheels) Pillow od wersji 11.1.0 zawierają dołączoną bibliotekę libopenjp2 z błędem przepełnienia bufora sterty (zapis), który został naprawiony w gałęzi master OpenJPEG, ale nigdy nie ukazał się w wydaniu OpenJPEG. Ponieważ koło dołącza własną kopię, załatany host nie chroni przed problemem.

Biblioteka Pillow w wersjach od 11.0.0 do 13.0.0 ma błąd w obsłudze wieloklatkowych obrazów (PSD, MPO, DCX, MIC). Przy zmianie trybu klatki na szerszy (RGB/CMYK) ponownie używany jest stary bufor o węższym trybie, co prowadzi do zapisu poza granicami pamięci i awarii, a w niektórych przypadkach do wykonania kodu.

Pillow (biblioteka obrazów Pythona) w wersjach od 2.6.0 do 13.0.0 jest podatna na wstrzyknięcie argumentów podczas wywoływania Ghostscript dla plików EPS. EpsImagePlugin.Ghostscript przekazuje nazwę pliku kontrolowaną przez wywołującego po -f bez konwersji na bezpieczną ścieżkę absolutną, więc nazwa zaczynająca się od myślnika może być interpretowana jako opcja Ghostscript.

Pillow przed wersją 13.0.0 ma lukę w dekoderze JPEG, który może zapisać pełną linię skanowania do bufora o rozmiarze dostosowanym do żądanego skalowania. ImagingJpegDecode nie weryfikuje rzeczywistej szerokości wyjściowej libjpeg po skalowaniu, a 8-bitowy bezstratny JPEG SOF3 dekodowany przez libjpeg-turbo 3.x może zignorować żądaną geometrię zmniejszania.

Pillow przed wersją 13.0.0 ma lukę w dekoderze kafelków JPEG FlashPix, który może zapisywać zdekodowane linie skanowania poza przydzielonym buforem kafelka. Dekodowanie FlashPix (FPX) JPEG wybiera tryb raw LA z dwoma bajtami na piksel, podczas gdy nierozpoznany tryb JPEG może być zdekodowany jako JCS_UNKNOWN z czterema komponentami, powodując zapis czterokomponentowych linii do dwubajtowego bufora kafelka.

Biblioteka Pillow zawiera przepełnienie bufora na stercie oraz ujawnienie danych ze sterty w funkcji _tiffWriteProc podczas zapisu skompresowanych plików TIFF przez libtiff do celu bez użytecznego fileno(), np. BytesIO. Callback rozmiaruje alokację na podstawie poprzedniego rozmiaru bufora zamiast bieżącej pozycji zapisu, co pozwala na kopiowanie danych poza alokację. Podatność naprawiono w wersji 13.0.0.

Podatność w bibliotece Pillow przed wersją 12.3.0 pozwala atakującemu na odczyt pamięci procesu lub wywołanie błędu krytycznego podczas ładowania nieskompresowanego obrazu McIdas AREA przez ścieżkę mmap. Kontrolowane przez atakującego nagłówki obrazu mogą ustawić mniejszy krok wiersza niż naturalna szerokość, co prowadzi do odczytu poza mapowanym regionem.

Przepełnienie całkowite w funkcji ImagingResampleHorizontal w bibliotece Pillow przed wersją 3.1.1 umożliwia zdalnym atakującym wywołanie nieokreślonego wpływu poprzez użycie ujemnych wartości nowego rozmiaru, co prowadzi do przepełnienia bufora w pamięci sterty.

Biblioteka Pillow w wersjach od 11.2.1 do 13.0.0 błędnie zakłada, że wiersze obrazu są ściśle przyległe podczas eksportu do formatu Arrow. Gdy PILLOW_ALIGNMENT powoduje dodanie paddingu wierszy lub przesunięcia przed pierwszym wierszem, bufor Arrow może zawierać niezainicjalizowany padding, bajty sprzed pierwszego wiersza lub pozostałości po zwolnionych obrazach. Może to prowadzić do ujawnienia pikseli innego użytkownika lub pamięci procesu.

Pillow to biblioteka obrazowania w Pythonie. Od wersji 9.4.0 do 13.0.0 funkcja ImagingJpegEncode() w src/libImaging/JpegEncode.c może wywołać jpeg_write_marker() dla komentarza JPEG COM, gdy profil ICC dokładnie wypełnił 65536-bajtowy bufor enkodera. libjpeg zapisuje jeden bajt przed sprawdzeniem wyczerpanego licznika free_in_buffer, który następnie się zawija i pozwala kontrolowanemu przez atakującego komentarzowi oraz kolejnym skompresowanym danym obrazu nadpisać sąsiednią pamięć sterty. Ponowne zapisanie niezaufanego obrazu jako JPEG z zachowaniem profilu ICC i przekazanego komentarza może spowodować awarię procesu i potencjalnie umożliwić wykonanie kodu w odpowiednich warunkach środowiska uruchomieniowego i układu sterty. Problem naprawiono w wersji 13.0.0.

Pillow to biblioteka obrazów dla Pythona. W wersjach przed 13.0.0 w systemie Windows plik src/PIL/WmfImagePlugin.py przekazuje niekontrolowane 32-bitowe wymiary WMF lub EMF do natywnego handlera drawwmf, który alokuje bufor DIB na podstawie obciętych do 16 bitów wymiarów, ale kopiuje dane pikseli przy użyciu pełnych wymiarów, umożliwiając odczyt poza buforem sterty.

W bibliotece Pillow od wersji 11.0.0 do 13.0.0 funkcja Exif.load() w src/PIL/Image.py wielokrotnie wycina pozostałe dane EXIF, dopóki zaczynają się one od sześciobajtowego nagłówka Exif. Ponieważ src/PIL/PngImagePlugin.py akceptuje nieograniczony chunk eXIf w PNG, plik wypełniony powtarzającymi się nagłówkami powoduje tworzenie nowej zmniejszającej się kopii w każdej iteracji i kwadratowe zużycie CPU. Problem jest osiągalny przez Image.getexif(), Image._getexif() i ImageOps.exif_transpose(), w tym w typowych procesach obracania zdjęć przy uploadzie. Podatność naprawiono w wersji 13.0.0.

W bibliotece Pillow przed wersją 13.0.0 inicjalizator TarIO w src/PIL/TarIO.py akceptuje ujemną ósemkową wartość rozmiaru elementu i wykonuje wsteczne przesunięcie, które wraca do tego samego 512-bajtowego nagłówka. Gdy żądana nazwa elementu nie pasuje, parser wielokrotnie odczytuje ten nagłówek, zużywa pełny rdzeń CPU i nigdy nie kończy pracy. TarIO jest osiągalne tylko wtedy, gdy aplikacja bezpośrednio używa PIL.TarIO.TarIO zamiast domyślnej ścieżki Image.open(). Podatność naprawiono w wersji 13.0.0.

Pillow, biblioteka obrazowania w Pythonie, w wersjach przed 13.0.0 zawiera błąd w akumulacji szerokości tekstu PILfont w src/_imaging.c, gdzie dodatnie przesunięcia glifów są sprawdzane względem INT_MAX, ale ujemne przesunięcia nie są sprawdzane względem INT_MIN. Powtarzanie 16-bitowego przesunięcia -32768 może wywołać przepełnienie całkowite ze znakiem w xsize += dx, tworząc dużą dodatnią szerokość z ujemnego wyniku matematycznego, co może prowadzić do błędów logicznych lub zużycia zasobów w aplikacjach używających getlength(), getsize() lub obliczeń układu, limitów, serializacji lub alokacji.

Biblioteka Pillow w wersjach od 5.1.0 do 13.0.0 nie wykrywa zduplikowanych referencji pośrednich w grafie /Pages dokumentu PDF. Złośliwy, skompresowany plik PDF może spowodować wykładniczy wzrost liczby referencji do stron i nadmierne zużycie CPU podczas operacji zapisu z parametrem append=True.

Pillow, biblioteka obrazowania w Pythonie, w wersjach od 9.1.0 do 13.0.0 pozwala metodzie BmpRleDecoder.decode() w src/PIL/BmpImagePlugin.py na dołączanie danych poza pozostałą długość dest_length bez limitu na gałąź poprzez spreparowane ucieczki delta RLE BMP i przebiegi w trybie absolutnym. Delta może dodać około 255 wierszy obrazu w jednej iteracji, więc plik o rozmiarze kilobajta z dużą, ale dozwoloną szerokością może rozszerzyć bytearray danych do setek megabajtów lub więcej, powodując odmowę usługi przez wyczerpanie pamięci.

W bibliotece Pillow przed wersją 13.0.0 funkcja SpiderImageFile.seek() w src/PIL/SpiderImagePlugin.py ponownie parsuje późniejszą ramkę stosu SPIDER i zastępuje self._size bez ponownego uruchomienia Image._decompression_bomb_check(). Mały plik może użyć bezpiecznej pierwszej ramki, aby przejść przez Image.open(), a następnie zadeklarować bardzo duże wymiary w późniejszej ramce trybu F. Wczytanie takiej ramki alokuje około czterech bajtów na każdy piksel zadeklarowany przez atakującego i może zużyć wiele gigabajtów pamięci. Podatność naprawiono w wersji 13.0.0.

Pillow, biblioteka obrazowania w Pythonie, w wersjach przed 13.0.0 pozwala metodom MpoImageFile.seek() i DcxImageFile.seek() na ponowne parsowanie późniejszych klatek MPO lub DCX i zastąpienie self._size bez ponownego uruchomienia Image._decompression_bomb_check(). Spreparowany obraz wieloklatkowy może użyć malej pierwszej klatki, aby przejść Image.open(), a następnie zadeklarować późniejszą klatkę przekraczającą limit, co podczas normalnej iteracji klatek przez seek(), load() lub ImageSequence.Iterator może zdekodować tę klatkę i zużyć setki megabajtów lub więcej, powodując odmowę usługi przez wyczerpanie pamięci.

Pillow przed wersją 13.0.0 zawiera podatność na atak typu regular-expression denial of service w parserze nagłówka XBM. Wywołanie Image.open() na małym, spreparowanym pliku XBM powoduje zastosowanie wyrażenia z nawrotami do nagłówka kontrolowanego przez atakującego, co blokuje wątek na wiele minut.

Pillow od wersji 9.1.0 do 13.0.0 może ujawnić niezainicjowaną pamięć stosu, gdy Image.quantize() używa pustej palety. Funkcja ImagingPaletteCacheUpdate() pozostawia lokalną tablicę pamięci podręcznej niezainicjowaną przy zerowej liczbie wpisów palety, a ścieżka konwersji emituje te bajty jako indeksy pikseli w zwracanym PNG lub GIF.

W Pillow od wersji 5.3.0 do 13.0.0 biblioteka może zwracać niezainicjalizowaną pamięć jako piksele, gdy libtiff wykonuje niepełny dekodowanie danych TIFF skompresowanych JPEG lub Group 4 fax. Bufory _decodeStrip i _decodeTile mogą być większe niż dane zapisane przez libtiff, a Pillow nie zeruje nieużywanej końcówki. Atakujący może dostarczyć spreparowany plik TIFF aplikacji, która ładuje i zwraca lub ponownie koduje jego piksele.

W Pillow przed wersją 13.0.0 koder TIFF może odczytywać dane poza buforem ColorMap, gdy zachowane metadane TIFF mają rozmiar płaszczyzny niezgodny z BitsPerSample. Mały plik TIFF można otworzyć normalnie, a następnie zachowuje on spreparowany ColorMap używany ponownie przy zapisie obrazu. Aplikacja, która ponownie koduje taki TIFF z libtiff, może wywołać odczyt poza granicami bufora.

W Pillow od wersji 5.1.0 do 13.0.0 biblioteka może wyczerpać zasoby podczas parsowania istniejącego PDF przy operacji dopisywania. PdfParser podąża za referencjami drzewa stron bez wykrywania cykli i duplikacji oraz za łańcuchami poprzednich trailerów z jedynie dokładnym zabezpieczeniem powtórzonego offsetu, co może wyczerpać stos Pythona. Atakujący może dostarczyć taki PDF aplikacji wywołującej Image.save z włączonym dopisywaniem PDF.

W Pillow od wersji 5.1.0 do 13.0.0 rezerwacja identyfikatorów obiektów PDF przy zapisie wielu klatek z save_all zajmuje czas kwadratowy. PdfParser.next_object_id() wielokrotnie przebudowuje i skanuje wszystkie wcześniej zarezerwowane identyfikatory dla każdego obiektu. Atakujący może dostarczyć wieloklatkowy obraz, w tym mały APNG z dużą zadeklarowaną liczbą klatek, aplikacji konwertującej go do wielostronicowego PDF.

W Pillow od wersji 10.0.0 do 13.0.0 biblioteka może zwolnić nieprawidłowy wskaźnik glifu podczas renderowania FreeType z aktywnym strokerem. Jeśli FT_Load_Glyph zawiedzie, sprzątanie może wywołać FT_Done_Glyph na niezainicjalizowanej lub nieaktualnej zmiennej glifu. Atakujący może dostarczyć zniekształconą czcionkę jako niezaufane bajty aplikacji rysującej tekst z niezerową szerokością obrysu.

W Pillow od wersji 4.1.0 do 13.0.0 dekoder MSP RLE może rozwinąć mały plik do nieograniczonego bufora w pamięci. Dekoder zapisuje dane wyjściowe RLE do BytesIO bez ograniczania ekspansji do zadeklarowanego rozmiaru obrazu. Atakujący może dostarczyć spreparowany obraz MSP aplikacji ładującej jego piksele.

Pillow od wersji 9.2.0 do 13.0.0 wykonuje kwadratowe kopiowanie podczas zapisywania GIF z długim komentarzem. Funkcja _get_global_header() wielokrotnie kopiuje fragmenty danych komentarza, w tym komentarze z niezaufanego obrazu wejściowego, co może prowadzić do nadmiernego zużycia CPU.

W Pillow od wersji 5.1.0 do 13.0.0 biblioteka może wejść w nieskończoną pętlę podczas przepisywania stron PDF. PdfParser.rewrite_pages() podąża za relacjami Parent bez wykrywania cyklu w drzewie stron. Atakujący może dostarczyć cykliczny PDF aplikacji dopisującej do niego obraz.

W Pillow od wersji 12.0.0 do 13.0.0 funkcja Image.merge() może odwoływać się do pustej płaszczyzny image8. Walidacja pomija pierwszy pas wejściowy, pozwalając na scalenie obrazu 32-bitowego całkowitego lub zmiennoprzecinkowego opartego na magazynie image32 jako węższego obrazu wielopasmowego. Spreparowany plik IPTC może osiągnąć tę ścieżkę, gdy aplikacja go otwiera i ładuje, lub wywołujący może bezpośrednio wywołać Image.merge() z takim pierwszym pasem.

W Pillow od wersji 8.1.0 do 13.0.0 ścieżki dekodowania kafelków TIFF i RGBA mogą odczytywać dane poza wierszem wyprodukowanym przez libtiff. W _decodeTile i ścieżce rozpakowywania RGBA, gdy Pillow i libtiff interpretują zduplikowane tagi PhotometricInterpretation lub BitsPerSample odmiennie, Pillow nie weryfikuje, czy wymagany wiersz wejściowy mieści się w wierszu wyprodukowanym przez libtiff (ścieżka pasków ma tę walidację). Ładowanie pikseli z takiego spreparowanego TIFF może ujawnić sąsiednie dane sterty w pikselach wyjściowych lub spowodować awarię procesu.

W bibliotece Pillow przed wersją 13.0.0 funkcja ImagingScaleAffine może spowodować podwójne zwolnienie pamięci obrazu, gdy wystąpi częściowa awaria alokacji. Dotyczy to szybkiej ścieżki dla operacji Transform.EXTENT lub czystego skalowania i przesunięcia Transform.AFFINE z domyślnym próbkowaniem NEAREST. Atakujący może wywołać awarię, powodując dużą operację Image.transform() przy niedoborze pamięci.

Pillow od wersji 5.4.0 do 13.0.0 wykonuje kwadratowe kopiowanie podczas parsowania komentarzy GIF. Funkcja GifImageFile._seek() wielokrotnie dołącza niezmienne bajty dla podbloków komentarzy i wielu rozszerzeń komentarzy, a ramka zerowa jest parsowana podczas Image.open().

W bibliotece Pillow od wersji 9.2.0 do 13.0.0 może dojść do zachowania odrzuconego rozmiaru ramki GIF po wyjątku decompression-bomb. W GifImageFile._seek spreparowany GIF może pozostawić odrzucone wymiary po Image.DecompressionBombError; jeśli aplikacja przechwyci wyjątek i kontynuuje przetwarzanie tego samego obiektu obrazu, późniejsze operacje seek lub load alokują pamięć zgodnie z tymi wymiarami, co może wyczerpać pamięć i spowodować odmowę usługi.

W bibliotece Pillow od wersji 8.1.0 do 13.0.0 może dojść do alokacji tła disposal APNG o pełnym rozmiarze kanwy przed sprawdzeniem decompression-bomb. Spreparowany APNG z małą pierwszą ramką, bardzo dużym zadeklarowanym kanwem i disposal tła lub OP_PREVIOUS pierwszej ramki dociera do PngImageFile._seek podczas Image.open() pozycjonującego ramkę zerową. Alokacja pełnego kanwy następuje wewnątrz Image.open() bez wymogu ładowania pikseli lub iteracji ramek, co może wyczerpać pamięć i spowodować odmowę usługi.

W bibliotece Pillow przed wersją 13.0.0 funkcja ImageMorph.MorphOp.apply() może uzyskać dostęp do pamięci przed buforem wiersza dla obrazu o zerowej szerokości. Wejście PPM i PGM może utworzyć obraz o szerokości zero, a natywna procedura morfologii indeksuje outrow[width - 1] bez odrzucenia tej geometrii. Atakujący może dostarczyć taki obraz do aplikacji wykonującej operację morfologii, co może spowodować awarię procesu.

Pillow od wersji 11.3.0 do 13.0.0 zawiera podatność use-after-free na stercie, gdy libtiff odrzuca tag podczas kodowania danych TIFF do bufora w pamięci. Ścieżka błędu zwalnia bufor wyjściowy bez zamknięcia uchwytu TIFF, a późniejsze czyszczenie zapisuje do zwolnionej pamięci.

W bibliotece Pillow przed wersją 13.0.0 filtry oparte na rangach mogą odwoływać się do nieprawidłowego magazynu obrazu dla obrazu o zerowym rozmiarze. ImagingExpand() alokuje niepusty wynik, a następnie ulega awarii podczas replikacji krawędzi przez odczyt pierwszego piksela z pustego magazynu wejściowego; ImagingRankFilter nigdy nie jest osiągany. Atakujący może dostarczyć lub spowodować utworzenie obrazu o zerowym rozmiarze w aplikacji stosującej filtr rangi, mediany, minimum lub maksimum, co powoduje natywną awarię procesu.

Pillow od wersji 8.2.0 do 13.0.0 może odczytywać dane poza buforem kafelka podczas kopiowania czterobajtowych pikseli w dekoderze kafelkowego TIFF. W funkcji _decodeTile libtiff może zwrócić alokację kafelka mniejszą niż wymagany krok wiersza pomnożony przez długość kafelka, a pętla kopiująca Pillow wykracza poza tę alokację.

W bibliotece Pillow (Python) przed wersją 13.0.0 dekodery surowe P;2L i P;4L mogą odczytywać dane poza końcem bufora wejściowego. Niezgodność między obliczanym rozmiarem wiersza a rzeczywistym rozmiarem odczytywanym przez rozpakowujące może ujawnić do trzech bajtów sterty w pikselach wyjściowych lub spowodować awarię procesu.

W bibliotece Pillow od wersji 5.1.0 do 13.0.0 funkcja PdfParser.get_value() może rekurencyjnie przetwarzać zagnieżdżone obiekty PDF bez limitu. Atakujący może dostarczyć głęboko zagnieżdżony PDF do aplikacji zapisującej obraz z włączonym trybem dopisywania do PDF, co powoduje nieobsłużony RecursionError lub zakończenie procesu roboczego.

Biblioteka Pillow w wersjach od 7.2.0 do 13.0.0 może wejść w nieskończoną pętlę podczas ustalania liczby klatek obrazu MIC. MicImageFile dziedziczy mechanizm przechodzenia klatek TIFF, ale jego tell() zwraca indeks strumienia OLE, a seek() resetuje stan klatek TIFF, przez co osadzony TIFF z co najmniej trzema IFD nigdy nie postępuje. Gdy aplikacja z zainstalowanym olefile odczytuje n_frames lub zapisuje wszystkie klatki spreparowanego pliku MIC, pętla może na stałe obciążyć wątek roboczy w 100% CPU.

W bibliotece Pillow (Python Imaging Library) w wersjach od 5.1.0 do 12.3.0 funkcja PdfParser.PdfStream.decode() wywołuje zlib.decompress() z rozmiarem bufora ustawionym na pole Length strumienia PDF, bez ograniczania rozmiaru zdekompresowanego wyjścia. Pozwala to na wyczerpanie pamięci przez spreparowany strumień FlateDecode PDF pochodzący z małego pliku.

Biblioteka Pillow (Python Imaging Library) przed wersją 12.3.0 zawiera podatność na zapis poza stertą (heap out-of-bounds write) w publicznym API rank-filter. Podanie bardzo dużego, nieparzystego rozmiaru filtru powoduje przepełnienie w obliczeniach wymiarów obrazu.

W bibliotece Pillow dla Pythona wykryto podatność polegającą na możliwości wywołania kontrolowanego uszkodzenia sterty natywnej przez API ImageCms.ImageCmsTransform.apply(im, imOut). Problem występuje, gdy dostarczony obraz wyjściowy ma tryb niezgodny z deklarowanym trybem wyjściowym transformacji.

Podatność w bibliotece Pillow (wersje 8.2.0 do 12.2.0) powoduje nadmierne zużycie pamięci podczas dekodowania spreparowanego pliku JPEG2000 z kafelkami, co może prowadzić do odmowy usługi (OOM).

Biblioteka Pillow w wersjach od 12.0.0 do 12.2.0 zawiera podatność w parserze EPS (PIL/EpsImagePlugin.py), która pozwala na wykonanie nieskończonej pętli poprzez spreparowany plik EPS z ujemną liczbą bajtów w dyrektywie %%BeginBinary. Atakujący może wykorzystać tę lukę do wywołania odmowy usługi (DoS) podczas otwierania złośliwego pliku za pomocą Image.open().

W bibliotece Pillow dla Pythona wykryto podatność polegającą na zapisie poza dozwolonym obszarem sterty (heap out-of-bounds write) podczas przetwarzania współrzędnych obrazu bliskich granicom 32-bitowej liczby całkowitej ze znakiem. Problem dotyczy funkcji Image.paste(), Image.crop() oraz Image.alpha_composite() i został naprawiony w wersji 12.3.0.

W bibliotece Pillow w wersjach od 5.2.0 do 12.3.0 wykryto podatność w enkoderze TGA RLE. Podczas zapisywania obrazu w trybie 1 z kompresją RLE, enkoder odczytuje dane poza buforem wiersza, co powoduje kopiowanie sąsiednich bajtów sterty procesu do generowanego pliku TGA. Problem został naprawiony w wersji 12.3.0.