{"id":103200,"date":"2022-02-06T03:36:58","date_gmt":"2022-02-06T01:37:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux"},"modified":"2022-02-06T03:36:58","modified_gmt":"2022-02-06T01:37:00","slug":"dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pt\/blog\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"O Kasper, um scanner de problemas de execu\u00e7\u00e3o especulativa de c\u00f3digo no n\u00facleo do Linux, est\u00e1 dispon\u00edvel.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Um grupo de pesquisadores da Universidade Livre de Amsterd\u00e3 publicou o kit de ferramentas Kasper, destinado a identificar no n\u00facleo do Linux fragmentos de c\u00f3digo que podem ser usados para explorar vulnerabilidades do tipo Spectre, causadas pela execu\u00e7\u00e3o especulativa de c\u00f3digo pelo processador. Os c\u00f3digos-fonte do kit de ferramentas s\u00e3o distribu\u00eddos sob a licen\u00e7a Apache 2.0. <\/p>\n
Lembramos que para realizar ataques como o Spectre v1, que permitem determinar o conte\u00fado da mem\u00f3ria, \u00e9 necess\u00e1ria a presen\u00e7a em c\u00f3digo privilegiado de uma sequ\u00eancia espec\u00edfica de instru\u00e7\u00f5es (gadgets), que leva \u00e0 execu\u00e7\u00e3o especulativa de instru\u00e7\u00f5es. Para otimiza\u00e7\u00e3o, o processador come\u00e7a a executar esses gadgets em modo especulativo, depois determina que a previs\u00e3o de bifurca\u00e7\u00e3o n\u00e3o se concretizou e reverte as opera\u00e7\u00f5es ao estado original, mas os dados processados durante a execu\u00e7\u00e3o especulativa permanecem no cache e nos buffers microarquiteturais e est\u00e3o dispon\u00edveis para extra\u00e7\u00e3o por meio de v\u00e1rios m\u00e9todos de determina\u00e7\u00e3o de dados remanescentes por canais laterais. <\/p>\n
Ferramentas anteriormente dispon\u00edveis para escanear gadgets para a vulnerabilidade Spectre, baseadas na busca de padr\u00f5es t\u00edpicos, mostravam um alto n\u00edvel de falsos positivos, enquanto deixavam passar muitos gadgets reais (experimentos mostraram que 99% dos gadgets identificados por essas ferramentas n\u00e3o podiam ser usados para ataques, e 33% dos gadgets funcionais, capazes de levar a um ataque, n\u00e3o foram detectados). <\/p>\n
Para melhorar a precis\u00e3o na identifica\u00e7\u00e3o de dispositivos problem\u00e1ticos, a Kasper modela vulnerabilidades que um atacante pode explorar em cada etapa de ataques do tipo Spectre \u2014 s\u00e3o modelados problemas que permitem o controle de dados (por exemplo, a inser\u00e7\u00e3o de dados do atacante em estruturas microarquiteturais para influenciar a execu\u00e7\u00e3o especulativa subsequente por meio de ataques do tipo LVI), acessar informa\u00e7\u00f5es confidenciais (por exemplo, quando o acesso ultrapassa os limites do buffer ou usa a mem\u00f3ria ap\u00f3s sua libera\u00e7\u00e3o) e organizar o vazamento de informa\u00e7\u00f5es confidenciais (por exemplo, analisando o estado do cache do processador ou utilizando o m\u00e9todo MDS).
<\/center> <\/p>\n
Durante os testes, o n\u00facleo se conecta \u00e0s bibliotecas de tempo de execu\u00e7\u00e3o do Kasper e \u00e0s verifica\u00e7\u00f5es que operam no n\u00edvel do LLVM. No processo de verifica\u00e7\u00e3o, realiza-se a emula\u00e7\u00e3o da execu\u00e7\u00e3o especulativa de c\u00f3digo, implementada por meio do mecanismo de checkpoint-restore, que executa especificamente o ramo de c\u00f3digo incorretamente previsto, e ap\u00f3s isso, reverte ao estado inicial antes da ramifica\u00e7\u00e3o. O Kasper tamb\u00e9m tenta modelar v\u00e1rias vulnerabilidades de software e hardware, analisa os impactos de efeitos arquiteturais e microarquiteturais, e realiza testes de fuzzing para avaliar poss\u00edveis a\u00e7\u00f5es de um atacante. Para analisar fluxos de execu\u00e7\u00e3o, \u00e9 utilizado o port DataFlowSanitizer para o n\u00facleo Linux, e para os testes de fuzzing, uma vers\u00e3o modificada do pacote syzkaller.
<\/center> <\/p>\n
Durante a digitaliza\u00e7\u00e3o do n\u00facleo Linux com o aux\u00edlio do Kasper, foram identificados 1379 gadgets desconhecidos anteriormente, que potencialmente podem levar a vazamentos de dados durante a execu\u00e7\u00e3o especulativa de instru\u00e7\u00f5es. Observa-se que apenas uma parte deles pode representar problemas reais, mas para demonstrar que h\u00e1 um perigo real e n\u00e3o apenas te\u00f3rico, foi desenvolvido um prot\u00f3tipo funcional do exploit para um dos trechos problem\u00e1ticos do c\u00f3digo, resultando em vazamentos de informa\u00e7\u00f5es da mem\u00f3ria do n\u00facleo. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"O](\"\/wp-content\/uploads\/2022\/02\/3a6cbda67cad6223d91f3ba63d4c1477.jpg\")
<\/center> <\/p>\n![\"O](\"\/wp-content\/uploads\/2022\/02\/7717c28239ef47fa49b36c3088759185.jpg\")
<\/center> <\/p>\n