Odebrany

CVE-2026-90015

opublikowano: 16.09.2026, 13:17

modyfikacja: 16.09.2026, 13:17

Ocena CVSS

n/a

Brak oceny

Oficjalne źródła

>_ Opis

Tłumaczenie automatyczne – może zawierać nieścisłości.

W jądrze Linuksa usunięto następującą lukę:

xhci: naprawiono utracone bufory odbić na niszczycielach czołgów obejmujących kilka segmentów pierścienia

Kiedy TD osiągnie łącze TRB z danymi, które nie są dopasowane do
wMaxPacketSize punktu końcowego, xhci_align_td() przygotowuje niewyrównany koniec
przez bufor odbić segmentu pierścieniowego zawierającego to łącze TRB.
xhci_unmap_td_bounce_buffer() później odmapowuje to i, w przypadku transferów IN,
kopiuje dane z powrotem do bufora URB.

Ścieżka kolejkowania rejestruje segment, który został odrzucony w td->bounce_seg,
przy założeniu, że niszczyciel czołgów nigdy nie obejmuje więcej niż dwóch segmentów pierścienia.
To założenie nie jest prawdziwe: niszczyciel czołgów jest wystarczająco duży, aby pomieścić trzy lub więcej
segmenty przechodzą przez kilka łączy TRB i mogą być odbijane w każdym z nich.
Tylko ostatni przetrwa w td->bounce_seg, więc każde wcześniejsze odbicie
bufor nie jest kopiowany z powrotem, ani nie jest mapowane DMA.

URB nadal kończy się rzeczywistą długością równą żądanej długości
i nie ma błędu, więc transfer wygląda na pomyślny, gdy wMaxPacketSize
dziura w buforze docelowym cicho zachowuje poprzednią
zawartość. Wycieka również mapowanie DMA przy każdym upuszczonym odbiciu.

Każdy wystarczająco duży i fragmentaryczny transfer zbiorczy może to uderzyć. To było
znalezione w urządzeniu pamięci masowej USB za xHCI obsługującym wersję dm
target z 512-bajtowymi blokami skrótu, w których wykrywane są raczej nieaktualne dane
niż po cichu skonsumowany. Urządzenie zalicza się do SuperSpeed, czyli tzw
wMaxPacketSize wynosi 1024, podczas gdy dm-bufio wysyła jedno 512-bajtowe bio na każdy skrót
blok. verity_prefetch_io() powoduje, że warstwa bloków łączy ich setki
w jedno żądanie zawierające do 512 wpisów listy rozproszenia po 512 bajtów każdy.
Przy 256 TRB na segment pierścienia, taki niszczyciel czołgów obejmuje trzy segmenty i każdy
granica segmentu przypada na nieparzystą wielokrotność 512, tj. nie jest wyrównana
wMaxPakietRozmiar. dm-bufio następnie buforuje blok mieszający zawierający nieaktualne dane i
dm-verity deklaruje, że blok metadanych jest uszkodzony:

mapowanie urządzeń: prawdziwość: 8:2: blok metadanych 10850 jest uszkodzony

Odtwarzacz obsługujący to pod qemu jest dostępny pod adresem
https://github.com/baloo/xhci-verity

Stan odbicia (bounce_buf, Bounce_dma, Bounce_len, Bounce_offs)
już żyje w segmencie pierścieniowym, więc nie ma nic więcej do śledzenia.
Kontynuuj nagrywanie ostatniego odbitego segmentu w td->bounce_seg i dalej
po zakończeniu przejdź segmentami od td->start_seg do niego, usuwając mapowanie
każdy segment, który nadal ma oczekujące odbicie.

Zatrzymanie się w td->bounce_seg zamiast td->end_seg ma znaczenie: odbicie
oznacza, że TD kontynuuje podróż poza łącze TRB tego segmentu, więc odbijanie_seg jest
zawsze dokładnie przed end_seg, a późniejszy TD mógł już się rozpocząć
w end_seg i został tam odrzucony. Przejście tak daleko skopiowałoby obcego
odbij bufor do tego URB i odmapuj go dwukrotnie. Utrzymuje także spacer
poprawne, jeśli TD kiedykolwiek owinie cały pierścień tak, że end_seg == start_seg.

[mn: Dodaj kontrolę ring->num_segs, aby zapobiec mało prawdopodobnej nieskończonej pętli for.]

In the Linux kernel, the following vulnerability has been resolved:

xhci: fix lost bounce buffers on TDs spanning several ring segments

When a TD reaches a link TRB with data that is not aligned to the
endpoint's wMaxPacketSize, xhci_align_td() stages the unalignable tail
through the bounce buffer of the ring segment holding that link TRB.
xhci_unmap_td_bounce_buffer() later unmaps it and, for IN transfers,
copies the data back into the URB's buffer.

The enqueue path records the segment that was bounced in td->bounce_seg,
under the assumption that a TD never spans more than two ring segments.
That assumption does not hold: a TD large enough to span three or more
segments crosses several link TRBs and can be bounced at each of them.
Only the last one survives in td->bounce_seg, so every earlier bounce
buffer is neither copied back nor DMA unmapped.

The URB still completes with actual_length equal to the requested length
and no error, so the transfer looks successful while a wMaxPacketSize
sized hole in the destination buffer silently keeps its previous
contents. It also leaks a DMA mapping per dropped bounce.

Any sufficiently large and fragmented bulk transfer can hit this. It was
found with a USB mass storage device behind xHCI backing a dm-verity
target with 512 byte hash blocks, where the stale data is detected rather
than silently consumed. The device enumerates as SuperSpeed, so
wMaxPacketSize is 1024, while dm-bufio issues one 512 byte bio per hash
block. verity_prefetch_io() makes the block layer merge hundreds of them
into a single request of up to 512 scatterlist entries of 512 bytes each.
At 256 TRBs per ring segment such a TD spans three segments, and every
segment boundary falls on an odd multiple of 512, i.e. unaligned to
wMaxPacketSize. dm-bufio then caches a hash block holding stale data and
dm-verity declares the metadata block corrupted:

device-mapper: verity: 8:2: metadata block 10850 is corrupted

A reproducer running this under qemu is available at
https://github.com/baloo/xhci-verity

The bounce state (bounce_buf, bounce_dma, bounce_len, bounce_offs)
already lives on the ring segment, so there is nothing extra to track.
Keep recording the last bounced segment in td->bounce_seg and, on
completion, walk the segments from td->start_seg up to it, unmapping
every segment that still has a pending bounce.

Stopping at td->bounce_seg rather than td->end_seg matters: a bounce
implies the TD continues past that segment's link TRB, so bounce_seg is
always strictly before end_seg, and a later TD may already have started
in end_seg and been bounced there. Walking that far would copy a foreign
bounce buffer into this URB and unmap it twice. It also keeps the walk
correct if a TD ever wraps the whole ring so that end_seg == start_seg.

[mn: Add ring->num_segs check to prevent unlikely infinite for loop.]

>_ Referencje

Dane podatności pochodzą z oficjalnych źródeł (CVE® List / NVD). Opisy po polsku są tłumaczone automatycznie i mogą zawierać nieścisłości – na stronie rekordu można wyświetlić wersję angielską.

This product uses the NVD API but is not endorsed or certified by the NVD.

CVE Usage: MITRE hereby grants you a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable copyright license to reproduce, prepare derivative works of, publicly display, publicly perform, sublicense, and distribute Common Vulnerabilities and Exposures (CVE®). Any copy you make for such purposes is authorized provided that you reproduce MITRE's copyright designation and this license in any such copy. ALL DOCUMENTS AND THE INFORMATION CONTAINED THEREIN PROVIDED BY MITRE ARE PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND.

NVD Terms of Use / CVE® Terms of Use / nvd.nist.gov / cve.org

<< baza_cve