{"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\/sv\/blog\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Kasper, en skanner f\u00f6r problem med spekulativ kodexekvering i Linux-k\u00e4rnan, \u00e4r tillg\u00e4nglig.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
En grupp forskare fr\u00e5n Vrije Universiteit Amsterdam har publicerat verktyget Kasper, som \u00e4r avsett att identifiera kodavsnitt i Linux-k\u00e4rnan som kan utnyttjas f\u00f6r att exploatera s\u00e5rbarheter av typen Spectre, orsakade av processorns spekulativa kodexekvering. K\u00e4llkoden f\u00f6r verktyget distribueras under Apache 2.0-licensen. <\/p>\n
Det \u00e4r v\u00e4rt att p\u00e5minna om att s\u00e5dana attacker som Spectre v1, som m\u00f6jligg\u00f6r best\u00e4mning av minnesinneh\u00e5ll, kr\u00e4ver en viss sekvens av instruktioner (gadgets) i privilegierad kod, vilket leder till spekulativ exekvering av instruktioner. F\u00f6r att optimera p\u00e5b\u00f6rjar processorn att utf\u00f6ra dessa gadgets i spekulativt l\u00e4ge, f\u00f6r att sedan fastst\u00e4lla att grenprediktionen var felaktig och \u00e5terst\u00e4lla operationerna till sitt ursprungliga tillst\u00e5nd, men de data som hanterats under den spekulativa exekveringen stannar kvar i cachen och mikroarchitektoniska buffertar och \u00e4r tillg\u00e4ngliga f\u00f6r extraktion med hj\u00e4lp av olika metoder f\u00f6r att identifiera resterande data via sidokanaler. <\/p>\n
Tidigare tillg\u00e4ngliga verktyg f\u00f6r att skanna gadgets f\u00f6r Spectre-s\u00e5rbarheten, baserade p\u00e5 m\u00f6nsterigenk\u00e4nning, visade en mycket h\u00f6g niv\u00e5 av falska positiva resultat, samtidigt som de missade m\u00e5nga verkliga gadgets (experiment har visat att 99% av de gadgets som uppt\u00e4cktes med s\u00e5dana verktyg inte kunde anv\u00e4ndas f\u00f6r attacker, och 33% av de funktionella gadgets som kunde leda till en attack togs inte upp). <\/p>\n
F\u00f6r att f\u00f6rb\u00e4ttra kvaliteten p\u00e5 identifiering av problematiska enheter, modellerar Kasper s\u00e5rbarheter som en angripare kan utnyttja i varje steg av genomf\u00f6randet av attacker av typen Spectre \u2013 problemen som modelleras g\u00f6r det m\u00f6jligt att kontrollera data (till exempel genom att injicera angriparens data i mikroarkitektoniska strukturer f\u00f6r att p\u00e5verka efterf\u00f6ljande spekulativ k\u00f6rning genom LVI-attacker), f\u00e5 tillg\u00e5ng till konfidentiell information (till exempel genom att g\u00e5 utanf\u00f6r bufferten eller anv\u00e4nda minne efter att det har frigjorts) och organisera l\u00e4ckage av konfidentiell information (till exempel genom att analysera processorkashens tillst\u00e5nd eller anv\u00e4nda MDS-metoden).
<\/center> <\/p>\n
Vid testning kopplas k\u00e4rnan till runtime-biblioteken Kasper och kontroller som arbetar p\u00e5 LLVM-niv\u00e5. Under kontrollprocessen emuleras spekulativ k\u00f6rning av koden genom en checkpoint-restore-mekanism, som specifikt k\u00f6r den felaktigt f\u00f6rutsagda kodgrenen och \u00e5terg\u00e5r till det ursprungliga tillst\u00e5ndet f\u00f6re f\u00f6rgrening. Kasper f\u00f6rs\u00f6ker ocks\u00e5 modellera olika program- och h\u00e5rdvarus\u00e5rbarheter, analyserar p\u00e5verkan av arkitektoniska och mikroarkitektoniska effekter och utf\u00f6r fuzzing-testning av m\u00f6jliga angripares handlingar. F\u00f6r analys av exekveringsfl\u00f6den anv\u00e4nds porten DataFlowSanitizer f\u00f6r Linux-k\u00e4rnan, och f\u00f6r fuzzing-testning en modifierad version av paketet syzkaller.
<\/center> <\/p>\n
Under skanning av Linux-k\u00e4rnan med hj\u00e4lp av Kasper har 1379 tidigare ok\u00e4nda gadgets identifierats, som potentiellt kan leda till datal\u00e4ckor under spekulativ exekvering av instruktioner. Noteras b\u00f6r att endast en del av dem kan utg\u00f6ra verkliga problem, men f\u00f6r att demonstrera att det finns verkliga faror och inte bara teoretiska, har en arbetsprototyp av en exploit utvecklats f\u00f6r ett av de problematiska kodavsnitten, vilket leder till informationsl\u00e4ckage fr\u00e5n k\u00e4rnans minne. \n K\u00e4lla: 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