{"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\/it\/blog\/novosti-interneta\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Disponibile Kasper, scanner per problemi di esecuzione speculativa del codice nel kernel di Linux","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Un gruppo di ricercatori dell'Universit\u00e0 libera di Amsterdam ha pubblicato lo strumento Kasper, progettato per identificare nel kernel di Linux frammenti di codice che possono essere utilizzati per sfruttare vulnerabilit\u00e0 della classe Spectre, causate dall'esecuzione speculativa del codice da parte della CPU. I codici sorgente dello strumento sono distribuiti con licenza Apache 2.0. <\/p>\n
Ricordiamo che per effettuare attacchi come Spectre v1, che consentono di determinare il contenuto della memoria, \u00e8 necessaria la presenza in codice privilegiato di una specifica sequenza di istruzioni (gadget) che porta all'esecuzione speculativa delle istruzioni. Al fine di ottimizzare, la CPU inizia ad eseguire gadget simili in modalit\u00e0 speculativa, poi determina che la previsione del ramo non \u00e8 stata corretta e riporta le operazioni allo stato originale, ma i dati elaborati durante l'esecuzione speculativa rimangono nella cache e nei buffer microarchitetturali e sono disponibili per l'estrazione con diversi metodi di identificazione dei dati residui attraverso canali laterali. <\/p>\n
In passato, gli strumenti di scansione per dispositivi a rischio di vulnerabilit\u00e0 Spectre, basati sulla ricerca di modelli specifici, mostravano un elevato numero di falsi positivi, trascurando molti dispositivi reali (esperimenti hanno dimostrato che il 99% dei dispositivi identificati da questi strumenti non potevano essere utilizzati per attacchi, mentre il 33% dei dispositivi funzionanti in grado di causare attacchi non veniva rilevato). <\/p>\n
Per migliorare la qualit\u00e0 dell'identificazione dei dispositivi problematici, Kasper modella le vulnerabilit\u00e0 che un attaccante pu\u00f2 sfruttare in ogni fase delle attacchi di tipo Spectre \u2014 vengono modellati problemi che consentono di controllare i dati (ad esempio, l'inserimento di dati dell'attaccante nelle strutture microarchitetturali per influenzare l'esecuzione speculativa successiva tramite attacchi di tipo LVI), accedere a informazioni riservate (ad esempio, andando fuori dai limiti di un buffer o utilizzando la memoria dopo che \u00e8 stata liberata) e organizzare la fuoriuscita di informazioni riservate (ad esempio, analizzando lo stato della cache del processore o utilizzando il metodo MDS).
<\/center> <\/p>\n
Durante i test, il kernel si interfaccia con le librerie runtime di Kasper e con i controlli che operano a livello di LLVM. Nel corso della verifica, viene emulata l'esecuzione speculativa del codice, implementata tramite il meccanismo di checkpoint-restore, che esegue specificamente il ramo di codice erratamente previsto e poi torna allo stato originale prima della biforcazione. Kasper tenta anche di modellare diverse vulnerabilit\u00e0 software e hardware, analizzando l'impatto degli effetti architettonici e microarchitettonici e conducendo test di fuzzing sulle possibili azioni di un aggressore. Per analizzare i flussi di esecuzione viene utilizzato il port DataFlowSanitizer per il kernel Linux, mentre per i test di fuzzing \u00e8 utilizzata una versione modificata del pacchetto syzkaller.
<\/center> <\/p>\n
Durante la scansione del kernel Linux con Kasper sono stati identificati 1379 gadget precedentemente sconosciuti, potenzialmente in grado di causare perdite di dati durante l'esecuzione speculativa delle istruzioni. Si segnala che solo una parte di essi potrebbe realmente rappresentare problematiche, ma per dimostrare che esiste un pericolo reale, e non solo teorico, \u00e8 stato sviluppato un prototipo funzionante di exploit collegato a uno dei frammenti di codice problematico, capace di estrarre informazioni dalla memoria del kernel. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Disponibile](\"\/wp-content\/uploads\/2022\/02\/3a6cbda67cad6223d91f3ba63d4c1477.jpg\")
<\/center> <\/p>\n![\"Disponibile](\"\/wp-content\/uploads\/2022\/02\/7717c28239ef47fa49b36c3088759185.jpg\")
<\/center> <\/p>\n