{"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\/es\/blog\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Est\u00e1 disponible Kasper, un esc\u00e1ner de problemas con la ejecuci\u00f3n especulativa de c\u00f3digo en el n\u00facleo de Linux","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Un grupo de investigadores de la Universidad Libre de \u00c1msterdam ha publicado la herramienta Kasper, dise\u00f1ada para identificar en el n\u00facleo de Linux fragmentos de c\u00f3digo que pueden ser utilizados para explotar vulnerabilidades del tipo Spectre, provocadas por la ejecuci\u00f3n especulativa de c\u00f3digo por parte del procesador. Los c\u00f3digos fuente de la herramienta se distribuyen bajo la licencia Apache 2.0. <\/p>\n
Recordemos que para llevar a cabo ataques como Spectre v1, que permiten determinar el contenido de la memoria, es necesario que exista en el c\u00f3digo privilegiado una secuencia espec\u00edfica de instrucciones (gadgets) que conduzcan a la ejecuci\u00f3n especulativa de instrucciones. Con el fin de optimizar, el procesador comienza a ejecutar estos gadgets en modo especulativo, luego determina que la predicci\u00f3n de bifurcaci\u00f3n fue incorrecta y revierte las operaciones a su estado original, pero los datos procesados durante la ejecuci\u00f3n especulativa quedan en cach\u00e9 y en b\u00faferes microarquitect\u00f3nicos, y son accesibles para su extracci\u00f3n mediante varios m\u00e9todos de determinaci\u00f3n de datos residuales a trav\u00e9s de canales secundarios. <\/p>\n
Las herramientas previamente disponibles para escanear gadgets de la vulnerabilidad Spectre, basadas en la b\u00fasqueda de plantillas t\u00edpicas, mostraron un nivel muy alto de falsos positivos, dejando pasar muchos gadgets reales (los experimentos mostraron que el 99% de los gadgets detectados por tales herramientas no pod\u00edan ser utilizados en ataques, y el 33% de los gadgets funcionales que podr\u00edan llevar a un ataque no fueron detectados). <\/p>\n
Para mejorar la calidad en la identificaci\u00f3n de dispositivos problem\u00e1ticos, Kasper modela vulnerabilidades que un atacante puede utilizar en cada etapa de la realizaci\u00f3n de ataques de tipo Spectre \u2014 se modelan problemas que permiten controlar datos (por ejemplo, la inyecci\u00f3n de datos del atacante en estructuras microarquitect\u00f3nicas para influir en la posterior ejecuci\u00f3n especulativa mediante ataques de tipo LVI), acceder a informaci\u00f3n confidencial (por ejemplo, al salir de los l\u00edmites de un b\u00fafer o utilizar memoria despu\u00e9s de su liberaci\u00f3n) y facilitar la filtraci\u00f3n de informaci\u00f3n confidencial (por ejemplo, analizando el estado de la cach\u00e9 del procesador o utilizando el m\u00e9todo MDS).
<\/center> <\/p>\n
Al probar, el n\u00facleo se conecta con las bibliotecas de tiempo de ejecuci\u00f3n de Kasper y las verificaciones que operan a nivel de LLVM. Durante el proceso de verificaci\u00f3n, se emula la ejecuci\u00f3n especulativa del c\u00f3digo, implementada a trav\u00e9s del mecanismo de checkpoint-restore, que ejecuta espec\u00edficamente la rama de c\u00f3digo incorrectamente predicha, para luego revertir al estado original antes de la bifurcaci\u00f3n. Kasper tambi\u00e9n intenta modelar diversas vulnerabilidades de software y hardware, analiza el impacto de los efectos arquitect\u00f3nicos y microarquitect\u00f3nicos, y lleva a cabo pruebas de fuzzing sobre las posibles acciones de un atacante. Para analizar los flujos de ejecuci\u00f3n, se utiliza el puerto DataFlowSanitizer para el n\u00facleo de Linux, y para las pruebas de fuzzing, se utiliza una versi\u00f3n modificada del paquete syzkaller.
<\/center> <\/p>\n
Durante el escaneo del n\u00facleo de Linux con Kasper, se identificaron 1379 gadgets anteriormente desconocidos, que potencialmente podr\u00edan causar filtraciones de datos durante la ejecuci\u00f3n especulativa de instrucciones. Se observa que solo una parte de ellos podr\u00eda representar problemas reales, pero para demostrar que existe un peligro real y no solo te\u00f3rico, se desarroll\u00f3 un prototipo funcional de exploit para uno de los fragmentos problem\u00e1ticos de c\u00f3digo, lo que resulta en una fuga de informaci\u00f3n de la memoria del n\u00facleo. \n Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Est\u00e1](\"\/wp-content\/uploads\/2022\/02\/3a6cbda67cad6223d91f3ba63d4c1477.jpg\")
<\/center> <\/p>\n![\"Est\u00e1](\"\/wp-content\/uploads\/2022\/02\/7717c28239ef47fa49b36c3088759185.jpg\")
<\/center> <\/p>\n