{"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\/fr\/blog\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Kasper est disponible, un scanner de probl\u00e8mes li\u00e9s \u00e0 l'ex\u00e9cution sp\u00e9culative de code dans le noyau Linux.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Un groupe de chercheurs de l'Universit\u00e9 Vrije d'Amsterdam a publi\u00e9 l'outil Kasper, con\u00e7u pour identifier dans le noyau Linux des extraits de code pouvant \u00eatre exploit\u00e9s pour des vuln\u00e9rabilit\u00e9s de type Spectre, caus\u00e9es par l'ex\u00e9cution sp\u00e9culative de code par le processeur. Les sources de l'outil sont distribu\u00e9es sous la licence Apache 2.0. <\/p>\n
Rappelons que pour mener des attaques telles que Spectre v1, qui permettent de d\u00e9terminer le contenu de la m\u00e9moire, il faut qu'une s\u00e9quence sp\u00e9cifique d'instructions (gadgets) se trouve dans le code privil\u00e9gi\u00e9, menant \u00e0 une ex\u00e9cution sp\u00e9culative des instructions. Pour optimiser, le processeur commence \u00e0 ex\u00e9cuter de tels gadgets en mode sp\u00e9culatif, puis d\u00e9termine que la pr\u00e9diction de branchement \u00e9tait erron\u00e9e et annule les op\u00e9rations \u00e0 leur \u00e9tat initial, mais les donn\u00e9es trait\u00e9es durant l'ex\u00e9cution sp\u00e9culative demeurent dans le cache et les buffers microarchitecturaux, accessibles pour extraction par diverses m\u00e9thodes de d\u00e9tection de donn\u00e9es r\u00e9siduelles par des canaux lat\u00e9raux. <\/p>\n
Les outils pr\u00e9c\u00e9demment disponibles pour scanner les gadgets pour la vuln\u00e9rabilit\u00e9 Spectre, bas\u00e9s sur la recherche de mod\u00e8les typiques, montraient un tr\u00e8s haut taux de faux positifs, tout en manquant de nombreux vrais gadgets (les exp\u00e9riences ont montr\u00e9 que 99 % des gadgets identifi\u00e9s par ces outils ne pouvaient pas \u00eatre utilis\u00e9s pour des attaques, tandis que 33 % des gadgets valides capables d'engendrer une attaque n'\u00e9taient pas d\u00e9tect\u00e9s). <\/p>\n
Pour am\u00e9liorer la qualit\u00e9 de l'identification des appareils probl\u00e9matiques, Kasper mod\u00e9lise les vuln\u00e9rabilit\u00e9s que les attaquants peuvent exploiter \u00e0 chaque \u00e9tape des attaques de type Spectre \u2014 des probl\u00e8mes sont mod\u00e9lis\u00e9s pour permettre de contr\u00f4ler les donn\u00e9es (par exemple, l'injection de donn\u00e9es de l'attaquant dans des structures microarchitecturales afin d'influencer l'ex\u00e9cution sp\u00e9culative ult\u00e9rieure via des attaques de type LVI), d'acc\u00e9der \u00e0 des informations sensibles (par exemple, en d\u00e9bordant la m\u00e9moire tampon ou en utilisant la m\u00e9moire apr\u00e8s sa lib\u00e9ration) et d'organiser la fuite d'informations sensibles (par exemple, en analysant l'\u00e9tat du cache processeur ou en utilisant la m\u00e9thode MDS).
<\/center> <\/p>\n
Lors des tests, le noyau se connecte aux biblioth\u00e8ques runtime Kasper et aux v\u00e9rifications fonctionnant au niveau LLVM. Pendant le processus de v\u00e9rification, une \u00e9mulation de l'ex\u00e9cution sp\u00e9culative du code est r\u00e9alis\u00e9e \u00e0 l'aide du m\u00e9canisme de checkpoint-restore, qui ex\u00e9cute sp\u00e9cifiquement la branche de code mal pr\u00e9dite, puis revient \u00e0 l'\u00e9tat initial avant le d\u00e9but de la bifurcation. Kasper tente \u00e9galement de mod\u00e9liser diverses vuln\u00e9rabilit\u00e9s logicielles et mat\u00e9rielles, analyse l'impact des effets architecturaux et microarchitecturaux, et effectue des tests de fuzzing sur les actions possibles d'un attaquant. Pour analyser les flux d'ex\u00e9cution, le port DataFlowSanitizer pour le noyau Linux est utilis\u00e9, et pour les tests de fuzzing, une version modifi\u00e9e du paquet syzkaller.
<\/center> <\/p>\n
Lors de l'analyse du noyau Linux \u00e0 l'aide de Kasper, 1379 gadgets pr\u00e9c\u00e9demment inconnus ont \u00e9t\u00e9 identifi\u00e9s, pouvant potentiellement causer des fuites de donn\u00e9es lors de l'ex\u00e9cution sp\u00e9culative des instructions. Il est not\u00e9 qu'il est probable qu'une partie d'entre eux puisse poser de r\u00e9els probl\u00e8mes, mais pour d\u00e9montrer qu'il existe un v\u00e9ritable danger et pas seulement un risque th\u00e9orique, un prototype fonctionnel d'exploit a \u00e9t\u00e9 d\u00e9velopp\u00e9 pour l'un des extraits de code probl\u00e9matiques, entra\u00eenant une fuite d'informations de la m\u00e9moire du noyau. \n Source : opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Kasper](\"\/wp-content\/uploads\/2022\/02\/3a6cbda67cad6223d91f3ba63d4c1477.jpg\")
<\/center> <\/p>\n![\"Kasper](\"\/wp-content\/uploads\/2022\/02\/7717c28239ef47fa49b36c3088759185.jpg\")
<\/center> <\/p>\n