{"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\/de\/blog\/novosti-interneta\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Kasper ist verf\u00fcgbar, ein Scanner f\u00fcr Probleme mit spekulativer Codeausf\u00fchrung im Linux-Kernel.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Eine Forschungsgruppe der Freien Universit\u00e4t Amsterdam hat das Tool Kasper ver\u00f6ffentlicht, das dazu dient, im Linux-Kernel Codeabschnitte zu identifizieren, die zur Ausnutzung von Sicherheitsanf\u00e4lligkeiten der Klasse Spectre verwendet werden k\u00f6nnen, die durch spekulatives Ausf\u00fchren von Code durch den Prozessor verursacht werden. Die Quelltexte des Tools werden unter der Lizenz Apache 2.0 verbreitet. <\/p>\n
Zur Erinnerung: F\u00fcr Angriffe wie Spectre v1, die es erm\u00f6glichen, den Inhalt des Arbeitsspeichers zu bestimmen, ist es notwendig, dass im privilegierten Code eine bestimmte Abfolgen von Befehlen (Gadgets) vorhanden ist, die zu spekulativen Ausf\u00fchrungen von Instruktionen f\u00fchren. Zur Optimierung beginnt der Prozessor, solche Gadgets im spekulativen Modus auszuf\u00fchren, stellt dann jedoch fest, dass die Sprungvorhersage nicht zutraf und rollt die Operationen in ihren Ausgangszustand zur\u00fcck. Die w\u00e4hrend der spekulativen Ausf\u00fchrung verarbeiteten Daten bleiben jedoch im Cache und in mikroarchitektonischen Puffern gespeichert und sind f\u00fcr die Extraktion durch verschiedene Methoden zur Bestimmung residualer Daten \u00fcber seitliche Kan\u00e4le zug\u00e4nglich. <\/p>\n
Fr\u00fcher verf\u00fcgbare Tools zur Erkennung von Gadgets auf Spectre-Schwachstellen, die auf der Suche nach typischen Mustern basierten, zeigten eine sehr hohe Rate an Fehlalarmen und lie\u00dfen dabei viele echte Gadgets unentdeckt (Experimente zeigten, dass 99 % der von solchen Tools erkannten Gadgets f\u00fcr Angriffe nicht verwendet werden konnten, w\u00e4hrend 33 % der funktionierenden Gadgets, die zu einem Angriff f\u00fchren k\u00f6nnten, nicht erkannt wurden). <\/p>\n
Um die Qualit\u00e4t der Identifizierung problematischer Gadgets zu verbessern, modelliert Kasper Schwachstellen, die ein Angreifer in jeder Phase von Angriffen der Klasse Spectre nutzen kann \u2014 es werden Probleme modelliert, die es erm\u00f6glichen, Daten zu kontrollieren (zum Beispiel die Einspeisung von Angreifer-Daten in mikroarchitektonische Strukturen, um auf die nachfolgende spekulative Ausf\u00fchrung \u00fcber LVI-Angriffe Einfluss zu nehmen), auf vertrauliche Informationen zuzugreifen (zum Beispiel beim \u00dcberlaufen von Puffern oder der Nutzung von Speicher nach dessen Freigabe) und das Leaken vertraulicher Informationen zu organisieren (zum Beispiel durch die Analyse des Zustands des Prozessor-Caches oder die Anwendung der MDS-Methode).
<\/center> <\/p>\n
Bei der Testung verbindet sich der Kernel mit den Runtime-Bibliotheken von Kasper und den Pr\u00fcfungen, die auf der LLVM-Ebene arbeiten. Im Pr\u00fcfungsprozess erfolgt eine Emulation der spekulativen Ausf\u00fchrung von Code, die durch einen Checkpoint-Restore-Mechanismus realisiert wird, welcher speziell den falsch vorhergesagten Codepfad ausf\u00fchrt, um dann zum Ausgangszustand vor dem Verzweigen zur\u00fcckzukehren. Kasper versucht ebenfalls, verschiedene Software- und Hardwareanf\u00e4lligkeiten zu modellieren, analysiert die Auswirkungen architektonischer und mikroarchitektonischer Effekte und f\u00fchrt Fuzzing-Tests m\u00f6glicher Angreiferverhalten durch. F\u00fcr die Analyse der Ausf\u00fchrungsstr\u00f6me wird der DataFlowSanitizer-Port f\u00fcr den Linux-Kernel verwendet, und f\u00fcr das Fuzzing-Testen eine modifizierte Version des Pakets syzkaller.
<\/center> <\/p>\n
W\u00e4hrend der Analyse des Linux-Kernels mit Kasper wurden 1379 bisher unbekannte Gadgets identifiziert, die potenziell zu Datenlecks w\u00e4hrend der spekulationsbasierten Ausf\u00fchrung von Befehlen f\u00fchren k\u00f6nnen. Es wird angemerkt, dass m\u00f6glicherweise nur einige von ihnen echte Probleme darstellen, doch um zu demonstrieren, dass es tats\u00e4chlich eine Gefahr gibt und nicht nur eine theoretische, wurde f\u00fcr einen der problematischen Codeabschnitte ein funktionierender Exploit-Prototyp entwickelt, der zu einem Informationsleck aus dem Kernel-Speicher f\u00fchrt. \n Quelle: 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