CET-IBT

Riferimento sull'architetturaFeex

CET-IBT è il tracciamento dei salti indiretti, una protezione del flusso di controllo che verifica le destinazioni delle chiamate e dei salti indiretti tracciati. È indipendente dagli shadow stack CET.

Cosa c'è da sapere

Come funziona

Quando il tracciamento è abilitato per l'ambiente di esecuzione pertinente, un trasferimento indiretto deve raggiungere un'istruzione di atterraggio (landing) ENDBR idonea in base alle regole dell'architettura. Il meccanismo impiega uno stato di tracciamento architetturale e solleva un'eccezione di protezione del controllo in caso di violazione. La strumentazione del compilatore e del binario è parte integrante della distribuzione.

Dove risulta utile

Un compilatore può contrassegnare le posizioni valide per le voci indirette all'interno di una libreria. Il sistema operativo e il runtime devono applicare impostazioni di abilitazione e criteri compatibili al codice in esecuzione. La presenza di byte ENDBR in un disassembly non dimostra di per sé che il sistema applichi attualmente IBT.

Come verificare il supporto e l'abilitazione

Il bit 20 di CPUID.07H.00H:EDX enumera le funzionalità IBT. Verificare separatamente il supporto in modalità utente/supervisore e i criteri relativi ai binari da parte del sistema operativo. Diagnosticare la compatibilità consultando la documentazione ufficiale del compilatore e del sistema operativo anziché rimuovere le istruzioni di atterraggio dal binario.

Capacità, abilitazione e applicazione delle norme devono essere verificate separatamente. Un processore può supportare una protezione anche quando il sistema operativo, l'applicazione o i criteri della macchina virtuale non la attivano. Un campo di supporto all'interno di un database non costituisce l'attestazione di un sistema in esecuzione.

Cosa non stabilisce la funzionalità

IBT non verifica i normali ritorni di funzione come invece fanno gli shadow stack. Non offre alcuna garanzia di integrità completa del flusso di controllo o di sicurezza dell'applicazione; inoltre, il supporto per gli shadow stack non implica il supporto per IBT.

Compatibilità e prestazioni nella pratica

Mantenere aggiornati il sistema operativo, il firmware e il runtime interessato. Se una protezione evidenzia un problema di compatibilità, ricorrere innanzitutto alla diagnostica del fornitore e agli aggiornamenti supportati. Una modifica radicale delle protezioni può influire su applicazioni non correlate e deve seguire criteri precisi di distribuzione e ripristino.

Una checklist pratica di verifica

Annotare il modello esatto di processore o piattaforma e le versioni di applicazione, sistema operativo e runtime interessate. Mantenere la formulazione dell'errore o del requisito effettivo.
Controllare la documentazione del produttore per quello specifico modello, quindi ispezionare la funzionalità effettiva e lo stato di abilitazione nell'ambiente in cui il programma viene eseguito.
Confrontare ogni requisito del binario o del backend selezionato. Una funzionalità con un nome simile, un alias o un'etichetta tecnologica generica non sono sufficienti.
Verificare che l'applicazione abbia selezionato l'implementazione prevista. Utilizzare la relativa diagnostica documentata e un fallback supportato quando i requisiti non sono soddisfatti.
Apportare una sola modifica supportata alla volta e ripetere lo stesso carico di lavoro. Mantenere disponibili la configurazione originale e un percorso di ripristino.

Se la funzionalità è elencata ma il software non può utilizzarla

Iniziare dal componente esatto che genera l'errore. Un database hardware descrive la capacità registrata; il sistema operativo o l'hypervisor possono esporre un ambiente effettivo differente. Un errore di istruzione illegale richiede inoltre l'analisi dell'effettiva istruzione che causa il problema e della build del binario, poiché il danneggiamento di dati o un'istruzione non supportata non correlata possono produrre un sintomo simile.

Installare la versione di applicazione, driver o runtime supportata per la piattaforma esatta e, se necessario, utilizzare la build di riferimento o di fallback documentata dal produttore. Un aggiornamento software non può creare un'istruzione che manca nel processore. Le modifiche al firmware e ai criteri di sicurezza devono seguire la procedura del produttore del sistema e un piano di ripristino, piuttosto che una generica ricetta di ottimizzazione.

Fonti e ambito di questa spiegazione

Intel 64 and IA-32 Architectures Software Developer's Manual · Kernel Linux: shadow stack di Control-flow Enforcement Technology

Questi riferimenti definiscono il comportamento architetturale e i requisiti software. Non verificano in modo indipendente ogni valore delle funzionalità presente nella pagina di un modello hardware collegato. Per il supporto su uno specifico modello, fare riferimento alle evidenze del produttore su quella pagina e controllare l'effettiva configurazione di sistema. Questo articolo non fornisce benchmark, certificazioni o date di revisione indipendente.

Fonti e verifica

Titolarità editoriale: Feex. Nessuna data di revisione indipendente registrata. Come svolgiamo le ricerche.

Intel 64 and IA-32 Architectures Software Developer's Manual · I volumi 1 e 2 descrivono le famiglie di istruzioni menzionate e CPUID; il volume 3 descrive lo stato, il paging, VMX e i controlli di protezione. La documentazione dell'architettura non certifica il supporto per un particolare modello.
Kernel Linux: shadow stack di Control-flow Enforcement Technology · Distingue il supporto hardware, i marcatori nei binari, l'abilitazione tramite loader e la protezione attiva per thread. Descrive IBT e shadow stack come strumenti separati.

Questo articolo è stato utile?

È sufficiente un sì o un no. Scegli un motivo, se desideri, o aggiungi una breve nota.