CET-IBT
CET-IBT és el seguiment de branques indirectes, una protecció del flux de control que comprova les destinacions de les crides i salts indirectes rastrejats. És independent de les piles ombra de CET.
El que cal saber
CET-IBT és el seguiment de branques indirectes, una protecció del flux de control que comprova les destinacions de les crides i salts indirectes rastrejats. És independent de les piles ombra de CET.
Com funciona
Quan el seguiment està habilitat per a l'entorn d'execució aplicable, una transferència indirecta ha d'arribar a una instrucció d'aterratge ENDBR adequada segons les regles de l'arquitectura. El mecanisme utilitza l'estat de seguiment arquitectònic i genera una excepció de protecció de control quan es vulnera el contracte. La instrumentació del compilador i del binari forma part del desplegament.
On és útil
Un compilador pot marcar ubicacions d'entrada indirecta vàlides en una biblioteca. El SO i l'entorn d'execució han d'aplicar una habilitació i una política compatibles al codi que s'executa. Veure bytes ENDBR en un desassemblatge no demostra, per si mateix, que el sistema apliqui actualment IBT.
Com comprovar el suport i l'habilitació
CPUID.07H.00H:EDX bit 20 enumera la capacitat IBT. Comproveu la compatibilitat d'usuari/supervisor del SO i la política de binaris per separat. Diagnostiqueu la compatibilitat mitjançant la documentació oficial del compilador i del SO en lloc d'eliminar les instruccions d'aterratge d'un binari.
La capacitat, l'habilitació i l'aplicació s'han de comprovar per separat. Un processador pot admetre una protecció mentre que la política del SO, de l'aplicació o de la màquina virtual no l'activa. Un camp de suport en una base de dades no és una atestació d'un sistema en execució.
El que la característica no estableix
IBT no comprova els retorns ordinaris de funcions de la manera que ho fan les piles ombra. No és una garantia d'integritat completa del flux de control ni de seguretat de l'aplicació, i la compatibilitat amb piles ombra no estableix la compatibilitat amb IBT.
Compatibilitat i rendiment a la pràctica
Manteniu actualitzats el SO, el microprogramari i l'entorn d'execució afectat. Si una protecció exposa un problema de compatibilitat, utilitzeu primer els diagnòstics del fabricant i les actualitzacions admeses. Una activació àmplia de protecció pot afectar aplicacions no relacionades i hauria de seguir una política explícita de desplegament i recuperació.
Una llista de verificació pràctica
- Enregistreu el model exacte de processador o de plataforma i les versions d'aplicació, SO i entorn d'execució implicades. Conserveu la redacció de l'error o del requisit real.
- Comproveu la referència del fabricant per a aquest model exacte, i després inspeccioneu la capacitat efectiva i l'estat habilitat en l'entorn on s'executa el programa.
- Compareu cada requisit del binari o dorsal seleccionat. Una característica amb un nom similar, un àlies o una etiqueta de tecnologia àmplia no és suficient.
- Confirmeu que l'aplicació ha seleccionat la implementació prevista. Utilitzeu els seus diagnòstics documentats i una alternativa compatible quan no es compleixin els requisits.
- Feu un únic canvi admès a la vegada i repetiu la mateixa càrrega de treball. Manteniu disponibles la configuració original i la via de recuperació.
Si la característica apareix a la llista però el programari no la pot utilitzar
Comenceu pel component exacte que falla. Una base de dades de maquinari descriu la capacitat registrada; el sistema operatiu o l'hipervisor poden exposar un entorn efectiu diferent. Un error d'instrucció il·legal també requereix investigar la instrucció defectuosa real i la compilació del binari, perquè una corrupció o una instrucció no admesa no relacionada poden produir un símptoma similar.
Instal·leu la versió d'aplicació, controlador o entorn d'execució admesa per a la plataforma exacta, i utilitzeu la compilació base o alternativa documentada pel fabricant si cal. Una actualització de programari no pot crear una instrucció que li manqui al processador. Els canvis de microprogramari i de polítiques de seguretat han de seguir el procediment del fabricant del sistema i un pla de recuperació en lloc d'una recepta genèrica d'optimització.
Fonts i abast d'aquesta explicació
Intel 64 and IA-32 Architectures Software Developer's Manual · Nucli de Linux: pila ombra de Control-flow Enforcement Technology
Aquestes referències estableixen el comportament arquitectònic i els requisits de programari. No verifiquen de manera independent cada valor de característica en una pàgina de model de maquinari enllaçada. Per al suport de models, utilitzeu l'evidència del fabricant d'aquesta pàgina i comproveu la configuració efectiva del sistema. Aquest article no proporciona cap data de prova de referència, certificació o revisió independent.
Fonts i verificació
Propietat editorial: Feex. No s'ha registrat cap data de revisió independent. Com investiguem.
- Intel 64 and IA-32 Architectures Software Developer's Manual · Els volums 1 i 2 descriuen les famílies d'instruccions anomenades i CPUID; el volum 3 descriu l'estat, la paginació, VMX i els controls de protecció. La documentació d'arquitectura no estableix el suport per a un model en particular.
- Nucli de Linux: pila ombra de Control-flow Enforcement Technology · Distingeix la compatibilitat de maquinari, els marcadors binaris, l'habilitació del carregador i la protecció activa per fil. Descriu IBT i les piles ombra com a funcions separades.
Ha estat útil aquest article?
Un sí o un no és suficient. Trieu un motiu si voleu, o afegiu una breu nota.
Gràcies. Això ens ajuda a millorar aquesta pàgina.