{"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\/pl\/blog\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Dost\u0119pny jest Kasper, skaner problem\u00f3w zwi\u0105zanych z spekulacyjnym wykonaniem kodu w j\u0105drze Linux","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Zesp\u00f3\u0142 naukowc\u00f3w z Uniwersytetu Vrije w Amsterdamie opublikowa\u0142 narz\u0119dzie Kasper, kt\u00f3re ma na celu identyfikacj\u0119 fragment\u00f3w kodu w j\u0105drze Linux, kt\u00f3re mog\u0105 by\u0107 wykorzystane do eksploatacji podatno\u015bci klasy Spectre, spowodowanej spekulacyjnym wykonaniem kodu przez procesor. Oryginalne kody \u017ar\u00f3d\u0142owe narz\u0119dzia s\u0105 rozpowszechniane na licencji Apache 2.0. <\/p>\n
Przypomnijmy, \u017ce do przeprowadzania takich atak\u00f3w jak Spectre v1, umo\u017cliwiaj\u0105cych okre\u015blenie zawarto\u015bci pami\u0119ci, konieczne jest posiadanie w kodzie z uprawnieniami odpowiedniej sekwencji polece\u0144 (gad\u017cet\u00f3w), prowadz\u0105cej do spekulacyjnego wykonania instrukcji. W celu optymalizacji procesor zaczyna wykonywa\u0107 tego rodzaju gad\u017cety w trybie spekulacyjnym, a nast\u0119pnie ustala, \u017ce przewidywanie rozga\u0142\u0119ziania si\u0119 nie powiod\u0142o i cofa operacje do stanu pocz\u0105tkowego, ale dane przetwarzane w trakcie spekulacyjnego wykonania osiadaj\u0105 w cache i buforach mikroarchitektury i s\u0105 dost\u0119pne do wydobycia z nich za pomoc\u0105 r\u00f3\u017cnych metod okre\u015blania danych resztkowych przez zewn\u0119trzne kana\u0142y. <\/p>\n
Wcze\u015bniej dost\u0119pne narz\u0119dzia do skanowania gad\u017cet\u00f3w dla podatno\u015bci Spectre, oparte na wyszukiwaniu szablon\u00f3w, wykazywa\u0142y bardzo wysoki poziom fa\u0142szywych alarm\u00f3w, jednocze\u015bnie pomijaj\u0105c wiele rzeczywistych gad\u017cet\u00f3w (do\u015bwiadczenia wykaza\u0142y, \u017ce 99% gad\u017cet\u00f3w wykrywanych przez tego typu narz\u0119dzia nie mog\u0142o by\u0107 wykorzystanych do atak\u00f3w, a 33% aktywnych gad\u017cet\u00f3w, mog\u0105cych prowadzi\u0107 do ataku, nie zosta\u0142o zauwa\u017conych). <\/p>\n
Aby poprawi\u0107 jako\u015b\u0107 identyfikacji problematycznych gad\u017cet\u00f3w, Kasper modeluje luki, kt\u00f3re atakuj\u0105cy mo\u017ce wykorzysta\u0107 na ka\u017cdym etapie przeprowadzania atak\u00f3w klasy Spectre \u2014 modelowane s\u0105 problemy, kt\u00f3re pozwalaj\u0105 na kontrolowanie danych (na przyk\u0142ad podmiana danych atakuj\u0105cego w mikroarchitekturze w celu wp\u0142yni\u0119cia na p\u00f3\u017aniejsze spekulacyjne wykonanie przy u\u017cyciu atak\u00f3w klasy LVI), uzyskiwanie dost\u0119pu do poufnych informacji (na przyk\u0142ad w przypadku przekroczenia granic bufora lub u\u017cywania pami\u0119ci po jej zwolnieniu) oraz organizowanie wycieku poufnych informacji (na przyk\u0142ad analizuj\u0105c stan pami\u0119ci podr\u0119cznej procesora lub wykorzystuj\u0105c metod\u0119 MDS).
<\/center> <\/p>\n
Podczas testowania j\u0105dro \u0142\u0105czy si\u0119 z bibliotekami runtime Kasper oraz z kontrolkami dzia\u0142aj\u0105cymi na poziomie LLVM. W trakcie weryfikacji nast\u0119puje emulacja spekulacyjnego wykonywania kodu, realizowana za pomoc\u0105 mechanizmu checkpoint-restore, kt\u00f3ry specjalnie wykonuje \u017ale przewidzian\u0105 ga\u0142\u0105\u017a kodu, a nast\u0119pnie cofa si\u0119 do pierwotnego stanu sprzed rozwidlenia. Kasper pr\u00f3buje r\u00f3wnie\u017c modelowa\u0107 r\u00f3\u017cne programowe i sprz\u0119towe luki bezpiecze\u0144stwa, analizuj\u0105c wp\u0142yw efekt\u00f3w architektonicznych i mikroarchitektonicznych oraz przeprowadza testy fuzzingowe mo\u017cliwych dzia\u0142a\u0144 atakuj\u0105cego. Do analizy strumieni wykonania wykorzystuje si\u0119 port DataFlowSanitizer dla j\u0105dra Linux, a do testowania fuzzingowego zmodyfikowan\u0105 wersj\u0119 pakietu syzkaller.
<\/center> <\/p>\n
W trakcie skanowania j\u0105dra Linux za pomoc\u0105 Kasper zidentyfikowano 1379 wcze\u015bniej nieznanych gad\u017cet\u00f3w, potencjalnie prowadz\u0105cych do wyciek\u00f3w danych podczas spekulacyjnego wykonywania instrukcji. Zauwa\u017cono, \u017ce tylko cz\u0119\u015b\u0107 z nich mo\u017ce stanowi\u0107 rzeczywiste zagro\u017cenia, ale dla pokazania, \u017ce istnieje rzeczywiste niebezpiecze\u0144stwo, a nie tylko teoretyczne, dla jednego z problematycznych fragment\u00f3w kodu opracowano dzia\u0142aj\u0105cy prototyp exploit-u, prowadz\u0105cego do wycieku informacji z pami\u0119ci j\u0105dra. \n \u0179r\u00f3d\u0142o: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Dost\u0119pny](\"\/wp-content\/uploads\/2022\/02\/3a6cbda67cad6223d91f3ba63d4c1477.jpg\")
<\/center> <\/p>\n![\"Dost\u0119pny](\"\/wp-content\/uploads\/2022\/02\/7717c28239ef47fa49b36c3088759185.jpg\")
<\/center> <\/p>\n