{"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\/nl\/blog\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Kasper is beschikbaar, een scanner voor problemen met gespeculeerde uitvoeringen van code in de Linux-kernel","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Een groep onderzoekers van de Vrije Universiteit Amsterdam heeft de Kasper-toolkit gepubliceerd, die is ontworpen om in de Linux-kernel codefragmenten te identificeren die kunnen worden gebruikt om kwetsbaarheden van het Spectre-type te exploiteren, veroorzaakt door de speculatieve uitvoering van code door de processor. De bronteksten van de toolkit worden verspreid onder de Apache 2.0-licentie. <\/p>\n
Ter herinnering: voor het uitvoeren van aanvallen zoals Spectre v1, die het mogelijk maken om de inhoud van het geheugen te bepalen, is het vereist dat er in de geprivilegieerde code een bepaalde volgorde van instructies (gadgets) aanwezig is die leidt tot speculatieve uitvoering van instructies. Om te optimaliseren begint de processor dergelijke gadgets in de speculatieve modus uit te voeren, waarna deze bepaalt dat de voorspelling van de tak niet juist was en de bewerkingen terugdraait naar de oorspronkelijke staat. Echter, de gegevens die tijdens de speculatieve uitvoering zijn verwerkt, blijven in de cache en microarchitectonische buffers zitten en zijn toegankelijk voor extractie via verschillende methoden voor het bepalen van restgegevens vanuit zijkanalen. <\/p>\n
Eerder beschikbare tools voor het scannen van gadgets op kwetsbaarheden van Spectre, gebaseerd op het zoeken naar typische patronen, vertoonden een zeer hoog niveau van vals-positieven, terwijl ze veel echte gadgets misten (experimenten toonden aan dat 99% van de gadgets die door dergelijke tools werden ge\u00efdentificeerd, niet konden worden gebruikt voor aanvallen, en 33% van de werkende gadgets die tot een aanval konden leiden, niet werden opgemerkt). <\/p>\n
Om de kwaliteit van de detectie van problematische gadgets te verbeteren, modelleert Kasper kwetsbaarheden die een aanvaller kan benutten bij elke stap van de uitvoering van Spectre-aanvallen - de problemen die worden gemodelleerd, maken het mogelijk om gegevens te controleren (bijvoorbeeld het injecteren van aanvallersgegevens in microarchitecturale structuren om invloed uit te oefenen op de daaropvolgende speculatieve uitvoering via LVI-aanvallen), toegang te krijgen tot vertrouwelijke informatie (bijvoorbeeld bij het overschrijden van buffergrenzen of het gebruiken van geheugen nadat het is vrijgegeven) en het organiseren van het uitlekken van vertrouwelijke informatie (bijvoorbeeld door de status van de processorcache te analyseren of de MDS-methode te gebruiken).
<\/center> <\/p>\n
Tijdens het testen koppelt de kernel aan de runtime-bibliotheken van Kasper en de controles die op het LLVM-niveau werken. Tijdens de controle wordt de emulatie van speculatieve uitvoering van code uitgevoerd, gerealiseerd met behulp van een checkpoint-restore mechanisme, dat speciaal de verkeerd voorspelde codepad uitvoert en vervolgens terugkeert naar de oorspronkelijke staat v\u00f3\u00f3r de vertakking. Kasper probeert ook verschillende software- en hardwarekwetsbaarheden te modelleren, analyseert de impact van architectonische en micro-architectonische effecten en voert fuzzing-tests uit van mogelijke aanvallersacties. Voor de analyse van uitvoeringsstromen wordt de DataFlowSanitizer-port voor de Linux-kernel gebruikt, en voor fuzzing-testing een gemodificeerde versie van het syzkaller-pakket.
<\/center> <\/p>\n
Tijdens het scannen van de Linux-kernel met behulp van Kasper zijn 1379 eerder onbekende gadgets ontdekt, die potentieel kunnen leiden tot datalekken tijdens speculatieve uitvoering van instructies. Het wordt opgemerkt dat slechts een deel van deze gadgets echte problemen kan vormen, maar om te demonstreren dat er een re\u00ebel gevaar is en geen alleen theoretisch, werd voor een van de probleemcodefragmenten een werkend prototype-exploit ontwikkeld, dat leidt tot datalek uit de kernelgeheugen. \n Bron: 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