Benedict Schlueter

Name of the Vulnerable Software and Affected Versions: Gramine versions prior to a390e33e16ed374a40de2344562a937f289be2e1 Description: The issue is related to an interface vulnerability due to mismatching software signals versus hardware exceptions. This occurs because the software signals do not properly match the hardware exceptions, leading to a vulnerability. Recommendations: For Gramine versions prior to a390e33e16ed374a40de2344562a937f289be2e1, consider updating to a version that includes the necessary fixes to address the interface vulnerability. As a temporary workaround, review and adjust the signal handling mechanisms to ensure proper matching of software signals with hardware exceptions. However, since the exact fix version is not specified, the best course of action would be to wait for an official update from the developers. At the moment, there is no information about a newer version that contains a fix for this vulnerability.

**Nome do software vulnerável e versões afetadas** Versões do kernel Linux até a 5.13.7 **Descrição** A vulnerabilidade permite que um programa BPF sem privilégios obtenha informações confidenciais da memória do kernel por meio de um ataque de canal lateral do tipo Speculative Store Bypass. Isso é possível porque o mecanismo de proteção não leva em conta a possibilidade de locais de memória não inicializados na pilha do BPF. A vulnerabilidade pode ser explorada para ler partes da memória do kernel. **Recomendações** Para versões do kernel Linux até 5.13.7, atualize para uma versão posterior à 5.13.7 para resolver o problema. Como solução temporária, considere restringir o uso de programas BPF para minimizar o risco de exploração.

**Nome do software vulnerável e versões afetadas** Versões do kernel Linux anteriores à 5.12.13 **Descrição** O problema está relacionado a uma previsão incorreta de ramificação no subsistema eBPF do kernel Linux, que pode ser explorada por meio de um ataque de canal lateral, permitindo que um programa BPF sem privilégios leia locais arbitrários da memória. Essa vulnerabilidade está relacionada à confusão de tipos e pode ser usada para contornar a proteção contra ataques da classe Spectre, levando potencialmente ao acesso não autorizado a informações protegidas. A exploração requer a manipulação de programas BPF para gerar instruções específicas que podem levar à execução especulativa e ao vazamento de memória por meio de canais laterais. **Recomendações** Para versões do kernel Linux anteriores à 5.12.13, atualize para a versão 5.12.13 ou posterior para resolver o problema. Como solução temporária, considere restringir o uso do subsistema eBPF até que um patch seja aplicado. Evite usar programas BPF que possam ser manipulados para gerar instruções que levem à execução especulativa e ao vazamento de memória.

**Nome do software vulnerável e versões afetadas** Versões do kernel Linux até a 5.12.1 **Descrição** O problema está relacionado ao subsistema BPF do kernel Linux, que apresenta falhas em seu mecanismo de autorização. Isso pode permitir que um invasor obtenha acesso não autorizado a informações protegidas. Especificamente, o arquivo kernel/bpf/verifier.c no kernel do Linux realiza carregamentos especulativos indesejáveis, levando à divulgação do conteúdo da pilha por meio de ataques de canal lateral. A área da pilha do BPF não está protegida contra carregamentos especulativos e pode conter dados não inicializados que possam representar informações confidenciais anteriormente processadas pelo kernel. **Recomendações** Para versões do kernel Linux até a 5.12.1, considere atualizar para uma versão que resolva o problema com cargas especulativas no subsistema BPF para impedir o acesso não autorizado a informações confidenciais. No momento, não há informações sobre uma versão mais recente que contenha uma correção para essa vulnerabilidade.

**Nome do software vulnerável e versões afetadas** Versões do kernel Linux até 5.11.x **Descrição** Uma falha no kernel do Linux permite especulação indesejada fora dos limites na aritmética de ponteiros, levando a ataques de canal lateral. Isso pode anular as medidas de mitigação do Spectre e permitir a obtenção de informações confidenciais da memória do kernel. A falha está relacionada ao componente `kernel/bpf/verifier.c` e envolve o cálculo incorreto da modificação de ponteiros durante sequências de operações aritméticas de ponteiros. **Recomendações** Para versões do kernel Linux até 5.11.x, considere aplicar um patch ou atualização que corrija a falha em `kernel/bpf/verifier.c` para impedir especulação fora dos limites na aritmética de ponteiros. Como solução temporária, considere restringir o acesso à memória sensível do kernel ou desativar o componente `verifier.c` até que um patch esteja disponível.