Control-flow Enforcement (CET)

Co potřebujete vědět

Jak to funguje

Stínové zásobníky udržují chráněný stav návratových adres, zatímco sledování nepřímých větví omezuje cíle sledovaných nepřímých skoků. Řeší různé typy předání řízení a mají samostatnou enumeraci i povolení. Na zprovoznění chráněného prováděcího prostředí se podílejí operační systém, zavaděč, binární soubor aplikace i knihovny.

Kde je funkce užitečná

Vhodně sestavená aplikace může běžet se stínovým zásobníkem spravovaným operačním systémem, takže neshodující se návratová adresa vyvolá definovanou výjimku, místo aby tiše přesměrovala provádění kódu. Zásady kompatibility se mohou lišit pro starší moduly a pro ochranu v uživatelském režimu oproti režimu správce (supervisor).

Jak ověřit podporu a aktivaci

Zkontrolujte bit 7 v CPUID.07H.00H:ECX pro podporu stínového zásobníku a bit 20 v EDX pro sledování nepřímých větví, poté prověřte dokumentovaný stav ochrany procesu v operačním systému. Samotný dostupný bit v procesoru nemůže zaručit vynucování ochrany u běžícího programu.

Dostupnost, aktivaci a vynucování je nutné kontrolovat samostatně. Procesor může ochranu podporovat, zatímco operační systém, aplikace nebo zásady virtuálního počítače ji neaktivují. Pole podpory v databázi není atestací běžícího systému.

Co tato funkce nezajišťuje

Záznam CET neprokazuje, že jsou obě dílčí funkce přítomny nebo povoleny. CET nečiní binární soubor důvěryhodným, nezabraňuje všem chybám poškození paměti ani nenahrazuje aktualizace. Globální vypnutí ochrany není běžným řešením pádů aplikací.

Kompatibilita a výkon v praxi

Udržujte operační systém, firmware a dotčené běhové prostředí aktuální. Pokud ochrana odhalí problém s kompatibilitou, použijte nejprve diagnostiku výrobce a podporované aktualizace. Plošné přepnutí ochrany může ovlivnit nesouvisející aplikace a mělo by se řídit explicitními pravidly pro nasazení a obnovu.

Praktický kontrolní seznam pro ověření

1. Zaznamenejte přesný model procesoru nebo platformy a použité verze aplikace, operačního systému a běhového prostředí. Uchovejte přesné znění chybové zprávy nebo požadavku.
2. Zkontrolujte dokumentaci výrobce pro daný konkrétní model a poté prověřte skutečně dostupnou kapacitu a stav aktivace v prostředí, kde program běží.
3. Porovnejte veškeré požadavky vybraného binárního souboru nebo backendu. Podobně pojmenovaná funkce, alias nebo obecné technologické označení nestačí.
4. Ověřte, že aplikace vybrala zamýšlenou implementaci. Pokud nejsou požadavky splněny, použijte její zdokumentovanou diagnostiku a podporované náhradní řešení.
5. Provádějte vždy jen jednu podporovanou změnu a zopakujte identickou zátěž. Původní konfiguraci a postup obnovy mějte neustále k dispozici.

Pokud je funkce uvedena, ale software ji nemůže použít

Začněte u přesné komponenty, u níž dochází k selhání. Databáze hardwaru popisuje zaznamenané schopnosti; operační systém nebo hypervizor však může vystavit odlišné efektivní prostředí. Chyba neplatné instrukce vyžaduje také prozkoumání skutečné chybující instrukce a sestavení binárního souboru, protože poškození dat nebo nesouvisející nepodporovaná instrukce mohou vyvolat podobný projev.

Nainstalujte verzi aplikace, ovladače nebo běhového prostředí podporovanou pro danou platformu a v případě potřeby použijte výrobcem zdokumentované základní nebo náhradní sestavení. Aktualizace softwaru nemůže vytvořit instrukci, kterou procesor fyzicky postrádá. Změny firmwaru a zásad zabezpečení by se měly řídit postupem výrobce systému a plánem obnovy, nikoli obecným návodem na optimalizaci.

Související funkce a užitečná rozlišení

CET-IBT · Stínové zásobníky CET · Execute Disable (NX) · OS Guard a SMEP

Zdroje a rozsah tohoto vysvětlení

Intel 64 and IA-32 Architectures Software Developer's Manual · Linuxové jádro: stínový zásobník Control-flow Enforcement Technology

Tyto referenční dokumenty stanovují architektonické chování a softwarové požadavky. Neověřují nezávisle každou hodnotu funkce na odkazované stránce hardwarového modelu. Informace o podpoře konkrétního modelu čerpejte z podkladů výrobce na příslušné stránce a zkontrolujte platnou konfiguraci systému. Tento článek neposkytuje benchmark, certifikaci ani datum nezávislého přezkumu.

Související

Tyto entity odkazují na tento článek. Typ je zobrazen u každého odkazu.

Zdroje a ověření

Redakční vlastnictví: Feex. Není zaznamenáno žádné datum nezávislého přezkoumání. Jak provádíme výzkum.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Svazky 1 a 2 popisují jmenovité rodiny instrukcí a CPUID; Svazek 3 popisuje stav, stránkování, VMX a řízení ochrany. Architektonická dokumentace nepotvrzuje podporu pro konkrétní model.
• Linuxové jádro: stínový zásobník Control-flow Enforcement Technology · Rozlišuje hardwarovou podporu, binární značky, aktivaci zavaděčem a aktivní ochranu jednotlivých vláken. Popisuje IBT a stínové zásobníky jako oddělené prostředky.