Control-flow Enforcement (CET)
Aussi appelé CET
CET, ou Control-flow Enforcement Technology, ajoute des mécanismes matériels pour protéger le flux de contrôle, principalement les piles d'observation (shadow stacks) et le suivi des branchements indirects. La prise en charge matérielle et la protection active dans un processus particulier sont des états différents.
Ce que vous devez savoir
CET, ou Control-flow Enforcement Technology, ajoute des mécanismes matériels pour protéger le flux de contrôle, principalement les piles d'observation (shadow stacks) et le suivi des branchements indirects. La prise en charge matérielle et la protection active dans un processus particulier sont des états différents.
Comment ça marche
Les piles d'observation maintiennent un état protégé des adresses de retour, tandis que le suivi des branchements indirects contraint les destinations des branchements indirects suivis. Ils s'adressent à des transferts de flux de contrôle distincts et disposent d'énumérations et d'activations séparées. Le système d'exploitation, le chargeur, le binaire de l'application et les bibliothèques participent au bon fonctionnement d'un environnement d'exécution protégé.
Domaines d'utilité
Une application correctement conçue peut s'exécuter avec une pile d'observation gérée par le système d'exploitation afin qu'une discordance d'adresse de retour déclenche l'exception définie plutôt que de rediriger silencieusement l'exécution. La politique de compatibilité peut différer pour les modules hérités ainsi qu'entre la protection en mode utilisateur et celle en mode superviseur.
Comment vérifier la prise en charge et l'activation
Vérifiez le bit 7 de CPUID.07H.00H:ECX pour la capacité de pile d'observation et le bit 20 de EDX pour le suivi des branchements indirects, puis inspectez l'état de protection du processus documenté par le système d'exploitation. Un bit processeur disponible ne suffit pas à lui seul pour établir l'application effective de la protection pour un programme en cours d'exécution.
La capacité, l'activation et l'application doivent être vérifiées séparément. Un processeur peut prendre en charge une protection tandis que le système d'exploitation, l'application ou la politique de la machine virtuelle ne l'active pas. Un champ de prise en charge d'une base de données n'est pas une attestation d'un système en cours d'exécution.
Ce que la fonctionnalité n'établit pas
Un champ CET ne prouve pas que les deux sous-fonctionnalités sont présentes ou activées. CET ne rend pas un binaire digne de confiance, n'empêche pas tous les bogues de corruption de mémoire et ne remplace pas les mises à jour. La désactivation globale d'une protection n'est pas une solution de routine face au plantage d'une application.
Compatibilité et performances en pratique
Maintenez le système d'exploitation, le micrologiciel et le runtime concerné à jour. Si une protection révèle un problème de compatibilité, utilisez d'abord les diagnostics du fournisseur et les mises à jour prises en charge. Une activation générale d'une protection peut affecter des applications sans rapport et doit suivre une politique de déploiement et de récupération explicite.
Une liste de contrôle pratique pour la vérification
- Enregistrez le modèle exact de processeur ou de plateforme ainsi que les versions de l'application, du système d'exploitation et du runtime concernés. Conservez la formulation de l'erreur ou de l'exigence réelle.
- Consultez la référence du fabricant pour ce modèle exact, puis inspectez la capacité effective et l'état activé dans l'environnement où le programme s'exécute.
- Comparez chaque exigence du binaire ou du backend sélectionné. Une fonctionnalité au nom similaire, un alias ou une étiquette technologique générale ne suffisent pas.
- Confirmez que l'application a sélectionné l'implémentation prévue. Utilisez ses diagnostics documentés et une solution de repli prise en charge lorsque les exigences ne sont pas satisfaites.
- Effectuez une seule modification prise en charge à la fois et répétez la même charge de travail. Gardez la configuration d'origine et une procédure de récupération disponibles.
Si la fonctionnalité est répertoriée mais que le logiciel ne peut pas l'utiliser
Commencez par le composant exact en échec. Une base de données matérielle décrit une capacité enregistrée ; le système d'exploitation ou l'hyperviseur peut exposer un environnement effectif différent. Une erreur d'instruction non autorisée nécessite également d'examiner l'instruction fautive réelle et le binaire compilé, car une corruption ou une instruction non prise en charge sans rapport peut produire un symptôme similaire.
Installez la version de l'application, du pilote ou du runtime prise en charge pour la plateforme exacte, et utilisez la version de référence ou de secours documentée par le fournisseur si nécessaire. Une mise à jour logicielle ne peut pas créer une instruction dont le processeur est dépourvu. Les modifications de micrologiciel et de politique de sécurité doivent suivre la procédure du fabricant du système et un plan de récupération plutôt qu'une recette d'optimisation générique.
Sources et portée de cette explication
Intel 64 and IA-32 Architectures Software Developer's Manual · Noyau Linux : pile d'observation Control-flow Enforcement Technology
Ces références établissent le comportement architectural et les exigences logicielles. Elles ne vérifient pas de manière indépendante chaque valeur de fonctionnalité sur la page d'un modèle matériel associé. Pour la prise en charge d'un modèle, utilisez les preuves du fabricant fournies sur cette page et vérifiez la configuration effective du système. Cet article ne fournit pas de benchmark, de certification ou de date d'évaluation indépendante.
Sources et vérification
Responsabilité éditoriale : Feex. Aucune date de révision indépendante n'est enregistrée. Notre méthodologie de recherche.
- Intel 64 and IA-32 Architectures Software Developer's Manual · Les volumes 1 et 2 décrivent les familles d'instructions nommées et CPUID ; le volume 3 décrit l'état, la pagination, VMX et les contrôles de protection. La documentation d'architecture n'établit pas la prise en charge pour un modèle particulier.
- Noyau Linux : pile d'observation Control-flow Enforcement Technology · Distingue la prise en charge matérielle, les marqueurs binaires, l'activation du chargeur et la protection active par thread. Décrit l'IBT et les piles d'observation comme des mécanismes distincts.
Cet article vous a-t-il été utile ?
Un simple oui ou non suffit. Choisissez une raison si vous le souhaitez, ou ajoutez une courte remarque.
Merci. Cela nous aide à améliorer cette page.