Teddy Astie

Existe um problema de sincronização onde os dados de configuração vNUMA (virtual Non-Uniform Memory Access) de um convidado permanecem acessíveis mesmo após o início da destruição do domínio. Isso ocorre porque a limpeza das informações de configuração não está sincronizada com a sua recuperação pelo modelo de dispositivo que controla o convidado.

O componente `varstored` do toolstack Xapi, que gerencia Variáveis UEFI para máquinas virtuais, contém barreiras de compilador insuficientes. Isso resulta em problemas de Time-of-Check to Time-of-Use (TOCTOU)—uma condição de corrida onde os dados são modificados entre o momento da verificação e o momento do uso—dentro de um buffer compartilhado utilizado para comunicação com o OVMF dentro da VM. Dependendo das configurações do compilador, um invasor pode controlar um índice usado em uma tabela de salto (jump table).

Certas hypercalls Viridian podem ser especificadas de maneira a resultar em um problema de segurança. Detalhes estão disponíveis em uma fonte linkada.

Certas hiperchamadas no xen podem ser especificadas de maneira a apresentar um risco de segurança. A descrição não fornece detalhes sobre a natureza do problema nem quaisquer detalhes técnicos específicos sobre exploração, como endpoints de API ou parâmetros vulneráveis. Não há informações sobre o número de dispositivos potencialmente afetados ou quaisquer incidentes no mundo real onde este problema tenha sido explorado.

O problema está relacionado a um tratamento de erros defeituoso na lógica que estabelece mapeamentos para as Regiões de Memória Reservadas (RMRR) no Intel VT-d ou para os intervalos de mapeamento Unity no AMD-Vi. Essa falha pode fazer com que mapeamentos permaneçam ativos quando deveriam ter sido removidos, permitindo que os respectivos convidados obtenham acesso a regiões de memória às quais não deveriam ter acesso. A finalidade exata dessas regiões é desconhecida, e elas são normalmente usadas para tarefas da plataforma, como emulação de USB legada.

O problema está relacionado ao posicionamento incorreto de uma diretiva de pré-processador no código-fonte, o que resulta em uma lógica que não funciona conforme o esperado quando o suporte a máquinas virtuais HVM é desativado na compilação do Xen. Isso pode permitir que um invasor eleve seus privilégios.