{"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\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Kasper, ein Scanner f\u00fcr Probleme mit spekulativer Codeausf\u00fchrung im Linux-Kernel, ist verf\u00fcgbar.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Eine Gruppe von Forschern der Vrije Universiteit Amsterdam hat das Kasper-Toolkit ver\u00f6ffentlicht, das dazu dient, im Linux-Kernel Codefragmente zu identifizieren, die zur Ausnutzung von Spectre-Sicherheitsanf\u00e4lligkeiten verwendet werden k\u00f6nnen, die durch spekulative Codeausf\u00fchrung des Prozessors verursacht werden. Der Quellcode des Toolkits wird unter der Apache 2.0-Lizenz verteilt. <\/p>\n
Es sei daran erinnert, dass f\u00fcr Angriffe wie Spectre v1, die es erm\u00f6glichen, den Inhalt des Speichers zu bestimmen, eine bestimmte Reihenfolge von Befehlen (sogenannten Gadgets) im privilegierten Code erforderlich ist, die zu einer spekulativen Ausf\u00fchrung von Anweisungen f\u00fchrt. Zum Zweck der Optimierung beginnt der Prozessor, solche Gadgets im spekulativen Modus auszuf\u00fchren, erkennt sp\u00e4ter jedoch, dass die Vorhersage der Verzweigung nicht zutraf, und rollt die Operationen in ihren urspr\u00fcnglichen Zustand zur\u00fcck. Die im Verlauf der spekulativen Ausf\u00fchrung bearbeiteten Daten bleiben jedoch im Cache und in mikroarchitektonischen Puffern gespeichert und k\u00f6nnen mit verschiedenen Methoden zur Bestimmung von Restdaten \u00fcber Seitenkan\u00e4le extrahiert werden. <\/p>\n
Fr\u00fchere verf\u00fcgbare Tools zum Scannen von Gadgets f\u00fcr die Spectre-Sicherheitsanf\u00e4lligkeit, die auf der Suche nach typischen Mustern basieren, zeigten eine sehr hohe Rate an Fehlalarmen und \u00fcbersprangen dabei viele echte Gadgets (Experimente zeigten, dass 99 % der von diesen Tools identifizierten Gadgets nicht f\u00fcr Angriffe verwendet werden konnten und 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 bei jeder Phase von Spectre-Angriffen nutzen kann \u2013 es werden Probleme modelliert, die den Datenzugriff erm\u00f6glichen (zum Beispiel die Einspeisung von Angreifer-Daten in mikroarchitektonische Strukturen zur Beeinflussung der nachfolgenden spekulativen Ausf\u00fchrung durch LVI-Angriffe), den Zugriff auf vertrauliche Informationen erm\u00f6glichen (zum Beispiel beim \u00dcberlaufen des Puffers oder bei der Verwendung von Speicher nach dessen Freigabe) und den Leck von vertraulichen Informationen organisieren (zum Beispiel durch die Analyse des Zustands des Prozessor-Caches oder durch Verwendung der MDS-Methode).
<\/center> <\/p>\n
Bei der Testphase wird der Kernel mit den Runtime-Bibliotheken von Kasper und Pr\u00fcfungen, die auf der LLVM-Ebene arbeiten, verbunden. Im Pr\u00fcfungsprozess erfolgt eine Emulation der spekulativen Ausf\u00fchrung von Code, die durch den Mechanismus des Checkpoint-Restore realisiert wird. Dieser f\u00fchrt speziell den missgebauten Zweig des Codes aus und rollt dann zum urspr\u00fcnglichen Zustand vor dem Verzweigung zur\u00fcck. Kasper versucht auch, verschiedene Software- und Hardwareanf\u00e4lligkeiten zu modellieren, analysiert den Einfluss architektonischer und mikroarchitektonischer Effekte und f\u00fchrt Fuzzing-Tests auf m\u00f6gliche Angreiferhandlungen durch. F\u00fcr die Analyse von Ausf\u00fchrungsstr\u00f6men wird der DataFlowSanitizer-Port f\u00fcr den Linux-Kernel verwendet, und f\u00fcr das Fuzzing-Testing kommt eine modifizierte Version des Pakets Syzkaller zum Einsatz.
<\/center> <\/p>\n
Bei der Untersuchung des Linux-Kernels mit Kasper wurden 1379 zuvor unbekannte Gadgets identifiziert, die potenziell zu Datenlecks w\u00e4hrend der spekulativen Ausf\u00fchrung von Anweisungen f\u00fchren k\u00f6nnen. Dabei wird festgestellt, dass nur ein Teil von ihnen m\u00f6glicherweise reale Probleme darstellen k\u00f6nnte. Um zu demonstrieren, dass es sich um eine tats\u00e4chliche Gefahr und nicht nur um ein theoretisches Szenario handelt, wurde f\u00fcr einen der problematischen Codeabschnitte ein funktionierender Prototyp eines Exploits 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