CVE-2017-17045

Podatność w Xen dotyczy logiki wprowadzonej dla XSA-308, która nie obsługuje pewnej kombinacji stanu VMX VMEntry, gdy #DB jest przechwytywane, aktywne jest pojedyncze krokowanie i blokada przez STI/MovSS. W przypadku włączonego śledzenia gałęzi, wcześniejsza korekta nadal powoduje błąd VMEntry, co jest śmiertelne dla gościa.

Podatność w Xen dotyczy problemów z operacjami na tabelach grantów, gdzie zmiany v2 -> v1 -> v2 mogą prowadzić do zmiany adresów stron statusu. Wcześniej wskaźniki do tablicy statusu mogą stać się nieaktualne, co może prowadzić do nieprawidłowego działania.

Podatność w Xen dotyczy mechanizmu XPTI (Xen Page Table Isolation), który kopiuje wpisy tablic stron gości PV z tablic wybranych przez gościa do tablicy wybranej przez Xen. Goście PV mogą mieć bezpośrednią mapę, która nie obejmuje całej pamięci, szczególnie gdy pamięć przekracza granicę 5 TiB (lub 3.5 TiB przy CONFIG_BIGMEM=y).

Podatność w Xen dotyczy obejścia dla XSA-433 (Zenbleed), które zostało przerobione, ale wprowadzono odwrócony warunek, przez co obejście nie jest stosowane, gdy jest potrzebne, i odwrotnie.

Podatność w Xenstore dotyczy aktualizacji na żywo, gdzie rekord stanu dla zegarka Xenstore z określoną głębokością jest zapisywany z brakującymi dwoma bajtami. Powoduje to niespójny stan podczas odczytu w nowym Xenstore, co może prowadzić do awarii Xenstore lub błędnych danych.

Podatność w Xen dotyczy operacji GNTTABOP_cache_flush, która może być wykonywana na pamięci zmapowanej z innej domeny przez interfejs tabeli grantów. Brakuje ograniczenia uniemożliwiającego użycie invalidate-without-clean na mapowaniach tylko do odczytu, co może uszkodzić przyznaną pamięć.

Podatność w Xen dotyczy operacji GNTTAB_cache_flush, gdzie w ścieżce błędu po dodaniu sprawdzenia NULL nie jest zwalniane odwołanie do strony, jeśli strona należy do specjalnej domeny systemowej (DOM_IO lub DOM_COW).

Podatność w Xen dotyczy operacji GNTTABOP_cache_flush, gdzie poprawka dla XSA-437 wprowadziła obliczenie, które może powodować niedomiar, prowadząc do bardzo długiej pętli, co może doprowadzić do awarii hiperwizora, szczególnie na 64-bitowym Arm.

Podczas przełączania z Grant Table v2 na v1 w Xen, kod trzymający blokadę tabeli grantów, ale tymczasowo ją zwalniający i ponownie przejmujący, błędnie zakłada, że właściwości tabeli nie zmienią się w czasie, gdy blokada nie jest trzymana. Prowadzi to do problemów z ramkami statusu, które znikają przy przejściu z v2 na v1.

Podczas przełączania z Grant Table v1 na v2 w Xen, kod trzymający blokadę tabeli grantów, ale tymczasowo ją zwalniający i ponownie przejmujący, błędnie zakłada, że właściwości tabeli nie zmienią się w czasie, gdy blokada nie jest trzymana. Prowadzi to do zmniejszenia liczby prawidłowych referencji grantów.