Qinkun Bao

A vulnerabilidade permite que um invasor não confiável contorne a validação passando um número de chamada de sistema no `MessageReader`, que é então usado pelo `sysno()`, possibilitando que o invasor leia a memória de dentro do enclave seguro.

Um invasor pode alterar o endereço para apontar para uma área de memória confiável, a fim de sobrescrever dados arbitrários nessa área.

Um invasor pode modificar os ponteiros na memória do enclave para sobrescrever endereços de memória arbitrários dentro do enclave seguro.

Um invasor pode alterar o ponteiro de uma memória não confiável para que aponte para uma região de memória confiável, fazendo com que a memória confiável seja copiada para essa região. Se essa última for posteriormente copiada para fora, isso permite a leitura de regiões de memória a partir da região confiável.

Uma falha de sobrescrita arbitrária de memória permite que um invasor faça uma chamada de host para `FromkLinuxSockAddr` com conteúdo controlado pelo invasor e tamanho de `klinux addr`, possibilitando que o invasor grave valores na memória a partir de dentro do enclave.

Uma leitura fora dos limites na função `enc untrusted inet ntop` permite que um ataque aumente o tamanho do resultado usado pela função `memcpy()` para ler memória de dentro da pilha do enclave.

Um problema de leitura arbitrária de memória permite que um invasor não confiável faça uma chamada para `enc untrusted inet pton` usando um parâmetro `klinux addr buffer` controlado pelo invasor. O tamanho do parâmetro não é verificado, permitindo que o invasor leia locais de memória fora do tamanho do buffer pretendido, incluindo endereços de memória dentro do enclave seguro.

A vulnerabilidade permite que um invasor não confiável faça uma chamada para `enc untrusted read`, cujo tamanho de retorno não foi validado em relação ao tamanho solicitado. O parâmetro `size` não é verificado, permitindo que o invasor leia locais de memória fora do tamanho do buffer pretendido, incluindo endereços de memória dentro do enclave seguro.

A vulnerabilidade permite que um invasor não confiável faça uma chamada para `enc untrusted recvfrom`, cujo tamanho de retorno não foi validado em relação ao tamanho solicitado. O parâmetro `size` não é verificado, permitindo que o invasor leia locais de memória fora do tamanho do buffer pretendido, incluindo endereços de memória dentro do enclave seguro.

Um problema de gravação arbitrária na memória permite que um invasor não confiável faça uma chamada para `ecall restore()` usando o atributo `output`, que falha na verificação do intervalo de um `pointer`. Um invasor pode usar esse `pointer` para gravar em endereços de memória arbitrários, incluindo aqueles dentro do enclave seguro.

Um problema de leitura arbitrária de memória permite que um invasor não confiável faça uma chamada para `enc untrusted recvmsg` usando um parâmetro `result` controlado pelo invasor. O parâmetro `size` não é verificado, permitindo que o invasor leia locais de memória fora do tamanho do buffer pretendido, incluindo endereços de memória dentro do enclave seguro.

A vulnerabilidade permite que um invasor faça uma chamada à função `Ecall restore` para realocar código não confiável e sobrescrever seções do endereço de memória do Enclave, devido a uma sobrescrita arbitrária de memória.

Uma falha de sobrescrita arbitrária de memória permite que um invasor faça uma chamada de host para o UntrustedCall. O UntrustedCall não validou o intervalo do buffer dentro de `sgx params` e permitiu que o host retornasse um ponteiro que correspondia a um endereço dentro da memória do enclave. Isso permitiu que um invasor lesse valores de memória de dentro do enclave.

Uma falha de sobrescrita arbitrária de memória permite que um invasor faça uma chamada ao `enc untrusted create wait queue`, que utiliza uma fila de ponteiros baseada em `UntrustedLocalMemcpy`, a qual não valida a localização do ponteiro. Isso permite que um invasor grave valores de memória a partir do enclave.

Existe uma vulnerabilidade de divulgação de informações quando um aplicativo de enclave que utiliza as chamadas de sistema fornecidas pelo `sockets.edl` é carregado por um aplicativo host malicioso. Isso poderia permitir que um invasor lesse dados privilegiados da pilha do enclave, ultrapassando os limites de confiança. Para explorar essa vulnerabilidade, um invasor teria que fazer login em um sistema afetado e executar um aplicativo especialmente criado. A vulnerabilidade não permite que um invasor eleve os direitos do usuário diretamente, mas poderia ser usada para obter informações confidenciais em um enclave, potencialmente utilizadas em ataques posteriores.

Uma falha na validação do comprimento do buffer permite que um invasor leia dados não autorizados. A função `enc untrusted recvfrom` gera um valor de retorno que é deserializado pelo `MessageReader` e copiado para três `extents`. O comprimento do terceiro `extents` é controlado por entrada externa e não é verificado durante a cópia, permitindo que o invasor force o Asylo a copiar dados de memória confiável para um pequeno buffer não confiável.

O problema está relacionado a uma sobrescrita arbitrária de memória na memória confiável do Asylo. Isso ocorre porque a função `ecall restore` não valida corretamente o intervalo do ponteiro `output len`, permitindo que um invasor manipule o valor de `tmp output len` e grave em qualquer local da memória confiável.