{"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\/news\/dostupen-kasper-skaner-problem-so-spekulyativnym-vypolneniem-koda-v-yadre-linux","title":{"rendered":"Disponibile Kasper, uno scanner per problemi di esecuzione speculativa del codice nel kernel 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 Linux frammenti di codice che possono essere utilizzati per sfruttare vulnerabilit\u00e0 di classe Spectre, causate dall'esecuzione speculativa del codice da parte del processore. I codici sorgente dello strumento sono distribuiti sotto la licenza Apache 2.0. <\/p>\n
Ricordiamo che per eseguire attacchi come Spectre v1, che consentono di determinare il contenuto della memoria, \u00e8 necessaria una determinata sequenza di istruzioni (gadget) nel codice privilegiato, che porta all'esecuzione speculativa delle istruzioni. A scopo di ottimizzazione, il processore inizia a eseguire tali gadget in modalit\u00e0 speculativa, poi determina che la previsione delle diramazioni non si \u00e8 avverata e ripristina le operazioni allo stato iniziale, ma i dati elaborati durante l'esecuzione speculativa rimangono nella cache e nei buffer microarchitettonici e possono essere estratti utilizzando vari metodi di rilevamento dei dati residui attraverso canali esterni. <\/p>\n
Gli strumenti precedentemente disponibili per la scansione dei gadget per la vulnerabilit\u00e0 Spectre, basati sulla ricerca di modelli tipici, mostrano un tasso molto elevato di falsi positivi, trascurando molti gadget reali (esperimenti hanno dimostrato che il 99% dei gadget identificati da tali strumenti non potevano essere utilizzati per attacchi, e il 33% dei gadget funzionanti, in grado di portare a un attacco, non sono stati notati). <\/p>\n
Per migliorare la qualit\u00e0 nella determinazione dei gadget problematici, Kasper modella le vulnerabilit\u00e0 che un attaccante pu\u00f2 sfruttare in ogni fase delle attacchi di tipo Spectre \u2014 si modellano i problemi che consentono di controllare i dati (ad esempio, l'inserimento dei dati dell'attaccante nelle strutture microarchitetturali per influenzare l'esecuzione speculativa successiva tramite attacchi di tipo LVI), accedere a informazioni riservate (ad esempio, fuoriuscendo dai limiti del 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 il test, il kernel si collega alle librerie runtime di Kasper e ai controlli che operano a livello LLVM. Durante il processo di verifica, viene effettuata un'emulazione dell'esecuzione speculativa del codice, realizzata tramite il meccanismo checkpoint-restore, che esegue specificamente il ramo di codice errato previsto, per poi tornare allo stato iniziale prima dell'inizio del branching. Kasper cerca anche di modellare diverse vulnerabilit\u00e0 software e hardware, analizzando l'impatto degli effetti architettonici e microarchitettonici, e conduce test di fuzzing su possibili azioni dell'attaccante. Per l'analisi dei flussi di esecuzione, viene utilizzato il port di DataFlowSanitizer per il kernel Linux, mentre per i test di fuzzing viene utilizzata una versione modificata del pacchetto syzkaller.
<\/center> <\/p>\n
Durante la scansione del kernel Linux tramite Kasper sono stati individuati 1379 gadget precedentemente sconosciuti, che potrebbero portare a fughe di dati durante l'esecuzione speculativa delle istruzioni. Si sottolinea che forse solo una parte di essi potrebbe rappresentare veri problemi, ma per dimostrare che c'\u00e8 una reale pericolo e non solo una questione teorica, \u00e8 stato sviluppato un prototipo operativo di exploit per uno dei frammenti di codice problematici, che porta a una fuga di 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