Salta al contingut

CET shadow stacks

Referència d'arquitecturaFeex

També anomenat CET-SS

Les piles ombra CET proporcionen un estat protegit d'adreces de retorn per ajudar a detectar retorns de flux de control corromputs. La capacitat de pila ombra del processador és només un requisit previ per a un procés protegit activament.

El que cal saber

Les piles ombra CET proporcionen un estat protegit d'adreces de retorn per ajudar a detectar retorns de flux de control corromputs. La capacitat de pila ombra del processador és només un requisit previ per a un procés protegit activament.

Com funciona

Una pila ombra conté una còpia protegida de la informació de retorn juntament amb la pila d'execució ordinària. Un retorn protegit comprova la coherència segons les regles de l'arquitectura. El SO gestiona l'habilitació, els permisos de memòria i l'estat dels fils, mentre que els entorns d'execució han de gestionar correctament les excepcions i les transicions de context.

On és útil

Una sobreescriptura de pila que canviï una adreça de retorn ordinària pot produir una excepció de protecció de control quan no coincideixi amb l'estat de retorn protegit. Un depurador o entorn d'execució ha d'entendre l'entorn de la pila ombra en lloc de tractar-la com una pila ordinària que es pot escriure.

Com comprovar el suport i l'habilitació

CPUID.07H.00H:ECX bit 7 enumera la capacitat de pila ombra. Utilitzeu la interfície d'estat documentada per procés o per fil del SO per establir l'habilitació. Una fallada no explicada justifica comprovar les actualitzacions de programari admeses i la compatibilitat abans de canviar la política de protecció.

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

Les piles ombra no estableixen la compatibilitat amb IBT, no protegeixen totes les dades de l'aplicació ni eliminen tots els atacs de flux de control. Una etiqueta de CPU no demostra que cada executable i biblioteca carregada estigui cobert sota la política de compatibilitat del SO.

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

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.

Ha estat útil aquest article?

Un sí o un no és suficient. Trieu un motiu si voleu, o afegiu una breu nota.

Ha estat útil aquest article?