Control-flow Enforcement (CET)

Čo potrebujete vedieť

Ako to funguje

Tieňové zásobníky udržiavajú chránený stav návratových adries, zatiaľ čo sledovanie nepriamych vetvení vymedzuje cieľové adresy sledovaných nepriamych vetvení. Riešia rôzne prenosy toku riadenia a majú samostatnú enumeráciu a povoľovanie. Na zabezpečení fungovania chráneného prostredia vykonávania sa podieľajú OS, zavádzač, binárny súbor aplikácie aj knižnice.

Kde je to užitočné

Vhodne zostavená aplikácia môže bežať s tieňovým zásobníkom spravovaným operačným systémom, takže nezhodujúca sa návratová adresa vyvolá definovanú výnimku namiesto tichého presmerovania vykonávania. Politika kompatibility sa môže líšiť pre staršie moduly a pre ochranu v používateľskom režime oproti režimu správcu (supervisor-mode).

Ako overiť podporu a povolenie

Skontrolujte CPUID.07H.00H:ECX bit 7 pre podporu tieňového zásobníka a EDX bit 20 pre sledovanie nepriamych vetvení, potom preskúmajte zdokumentovaný stav ochrany procesu v OS. Samotný dostupný bit v CPU nemôže zaručiť presadzovanie ochrany pre bežiaci program.

Schopnosť, povolenie a vynucovanie sa musia kontrolovať samostatne. Procesor môže ochranu podporovať, zatiaľ čo operačný systém, aplikácia alebo politika virtuálneho počítača ju neaktivujú. Pole podpory v databáze nie je atestáciou bežiaceho systému.

Čo táto funkcia nezakladá

Pole CET nedokazuje, že sú prítomné alebo povolené obe čiastkové funkcie. CET nerobí binárny súbor dôveryhodným, nezabráni každej chybe poškodenia pamäte ani nenahrádza aktualizácie. Globálne vypnutie ochrany nie je bežným riešením pádu aplikácie.

Kompatibilita a výkon v praxi

Udržiavajte operačný systém, firmvér a dotknuté runtime prostredie aktuálne. Ak ochrana odhalí problém s kompatibilitou, použite najprv diagnostiku od dodávateľa a podporované aktualizácie. Plošné prepnutie ochrany môže ovplyvniť nesúvisiace aplikácie a malo by sa riadiť explicitnou politikou nasadenia a obnovy.

Praktický kontrolný zoznam na overenie

1. Zaznamenajte presný model procesora alebo platformy a príslušné verzie aplikácie, operačného systému a runtime prostredia. Zachovajte presné znenie skutočnej chyby alebo požiadavky.
2. Skontrolujte referenčnú dokumentáciu výrobcu pre daný presný model a potom preverte efektívnu schopnosť a povolený stav v prostredí, kde program beží.
3. Porovnajte každú požiadavku vybraného binárneho súboru alebo backendu. Podobne pomenovaná funkcia, alias alebo široké technologické označenie nepostačujú.
4. Uistite sa, že aplikácia vybrala zamýšľanú implementáciu. Ak požiadavky nie sú splnené, použite jej dokumentovanú diagnostiku a podporované náhradné riešenie.
5. Vykonávajte vždy len jednu podporovanú zmenu a zopakujte rovnaké pracovné zaťaženie. Ponechajte si k dispozícii pôvodnú konfiguráciu a postup obnovy.

Ak je funkcia uvedená, ale softvér ju nemôže použiť

Začnite presne pri zlyhávajúcom komponente. Hardvérová databáza popisuje zaznamenanú schopnosť; operačný systém alebo hypervízor však môže sprístupniť iné efektívne prostredie. Chyba neplatnej inštrukcie si vyžaduje aj preskúmanie skutočnej chybujúcej inštrukcie a zostavenia binárneho súboru, pretože poškodenie alebo nesúvisiaca nepodporovaná inštrukcia môže vyvolať podobný príznak.

Nainštalujte verziu aplikácie, ovládača alebo runtime prostredia podporovanú pre presnú platformu a v prípade potreby použite dodávateľom dokumentované základné alebo záložné zostavenie. Aktualizácia softvéru nedokáže vytvoriť inštrukciu, ktorú procesor nemá. Zmeny firmvéru a bezpečnostných politík by sa mali riadiť postupom výrobcu systému a plánom obnovy, nie generickým návodom na optimalizáciu.

Súvisiace funkcie a užitočné rozdiely

CET-IBT · CET shadow stacks · Execute Disable (NX) · OS Guard a SMEP

Zdroje a rozsah tohto vysvetlenia

Intel 64 and IA-32 Architectures Software Developer's Manual · Linuxové jadro: tieňový zásobník Control-flow Enforcement Technology

Tieto referencie definujú architektonické správanie a softvérové požiadavky. Neoverujú nezávisle každú hodnotu funkcie na prepojenej stránke hardvérového modelu. Podporu modelu nájdete v podkladoch od výrobcu na danej stránke a skontrolujte efektívnu konfiguráciu systému. Tento článok neposkytuje dátum benchmarku, certifikácie ani nezávislej recenzie.

Súvisiace

Tieto entity sú prepojené s týmto článkom. Typ je zobrazený na každom odkaze.

Zdroje a overenie

Redakčné vlastníctvo: Feex. Nie je zaznamenaný žiadny dátum nezávislej kontroly. Ako robíme výskum.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Zväzky 1 a 2 popisujú uvedené rodiny inštrukcií a CPUID; Zväzok 3 popisuje stav, stránkovanie, VMX a ovládacie prvky ochrany. Dokumentácia k architektúre nezaručuje podporu pre konkrétny model.
• Linuxové jadro: tieňový zásobník Control-flow Enforcement Technology · Rozlišuje hardvérovú podporu, binárne značky, povolenie v zavádzači a aktívnu ochranu na úrovni vlákna. Popisuje IBT a tieňové zásobníky ako oddelené prostriedky.