Control-flow Enforcement (CET)

Šta trebate znati

Kako radi

Stogovi u sjeni održavaju zaštićeno stanje povratnih adresa, dok praćenje indirektnih grananja ograničava odredišta praćenih indirektnih grananja. Oni rješavaju različite prijenose toka kontrole i imaju zasebno popisivanje i omogućavanje. Operativni sistem, učitavač, binarna datoteka aplikacije i biblioteke učestvuju u funkcionisanju zaštićenog okruženja za izvršavanje.

Gdje je korisno

Adekvatno izgrađena aplikacija može raditi sa stogom u sjeni kojim upravlja operativni sistem, tako da nepodudarna povratna adresa pokreće definisani izuzetak umjesto tihog preusmjeravanja izvršavanja. Politika kompatibilnosti može se razlikovati za zastarjele module i zaštitu u korisničkom načinu rada u odnosu na nadzorni način rada.

Kako provjeriti podršku i omogućavanje

Provjerite CPUID.07H.00H:ECX bit 7 za mogućnost stoga u sjeni i EDX bit 20 za praćenje indirektnih grananja, a zatim pregledajte dokumentovani status zaštite procesa u operativnom sistemu. Sam dostupan bit procesora ne može utvrditi primjenu zaštite za program koji se izvršava.

Mogućnost, omogućavanje i provođenje moraju se provjeriti odvojeno. Procesor može podržavati zaštitu dok je OS, aplikacija ili politika virtuelne mašine ne aktiviraju. Polje podrške u bazi podataka nije atestacija pokrenutog sistema.

Šta ova funkcija ne uspostavlja

CET polje ne dokazuje da su obje podmogućnosti prisutne ili omogućene. CET ne čini binarnu datoteku pouzdanom, ne sprječava svaku grešku oštećenja memorije niti zamjenjuje ažuriranja. Globalno onemogućavanje zaštite nije rutinsko rješenje za rušenje aplikacije.

Kompatibilnost i performanse u praksi

Održavajte OS, firmver i pogođeno runtime okruženje ažurnim. Ako zaštita izloži problem s kompatibilnošću, prvo koristite dijagnostiku dobavljača i podržana ažuriranja. Široki prekidač zaštite može utjecati na nepovezane aplikacije i trebao bi pratiti eksplicitnu politiku implementacije i oporavka.

Praktična lista za provjeru verifikacije

1. Zabilježite tačan model procesora ili platforme te verzije aplikacije, OS-a i runtime okruženja koji se koriste. Sačuvajte formulaciju stvarne greške ili zahtjeva.
2. Provjerite referencu proizvođača za taj tačan model, a zatim pregledajte efektivnu sposobnost i omogućeno stanje u okruženju u kojem se program izvršava.
3. Uporedite svaki zahtjev odabrane binarne datoteke ili pozadinskog sistema. Slično imenovana funkcija, pseudonim ili široka tehnološka oznaka nisu dovoljni.
4. Potvrdite da je aplikacija odabrala predviđenu implementaciju. Koristite njenu dokumentiranu dijagnostiku i podržanu rezervnu varijantu kada zahtjevi nisu ispunjeni.
5. Pravite jednu po jednu podržanu promjenu i ponavljajte isto radno opterećenje. Zadržite izvornu konfiguraciju i dostupan put oporavka.

Ako je funkcija navedena, ali je softver ne može koristiti

Počnite od tačne komponente koja otkazuje. Baza podataka hardvera opisuje zabilježenu sposobnost; operativni sistem ili hipervizor mogu izložiti drugačije efektivno okruženje. Greška nevažeće instrukcije (illegal-instruction) također zahtijeva istragu stvarne instrukcije koja uzrokuje grešku i binarne verzije, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.

Instalirajte verziju aplikacije, drajvera ili runtime okruženja podržanu za tačnu platformu i po potrebi koristite proizvođačevu dokumentiranu osnovnu ili rezervnu verziju. Ažuriranje softvera ne može stvoriti instrukciju koja procesoru nedostaje. Promjene firmvera i sigurnosnih pravila trebaju pratiti proceduru proizvođača sistema i plan oporavka, a ne generički recept za optimizaciju.

Povezane funkcije i korisne razlike

CET-IBT · CET stogovi u sjeni · Execute Disable (NX) · OS Guard i SMEP

Izvori i obim ovog objašnjenja

Intel 64 and IA-32 Architectures Software Developer's Manual · Linux kernel: Control-flow Enforcement Technology stog u sjeni

Ove reference uspostavljaju arhitekturno ponašanje i softverske zahtjeve. One ne verifikuju nezavisno svaku vrijednost funkcije na povezanoj stranici modela hardvera. Za podršku modela koristite dokaze proizvođača s te stranice i provjerite efektivnu konfiguraciju sistema. Ovaj članak ne pruža benchmark, certifikaciju ili datum nezavisnog pregleda.

Povezano

Ovi entiteti su povezani s ovim člankom. Tip je prikazan na svakom linku.

Izvori i provjera

Uredničko vlasništvo: Feex. Nije zabilježen datum nezavisne provjere. Kako istražujemo.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Tomovi 1 i 2 opisuju navedene porodice instrukcija i CPUID; Tom 3 opisuje kontrole stanja, straničenja, VMX-a i zaštite. Dokumentacija arhitekture ne utvrđuje podršku za određeni model.
• Linux kernel: Control-flow Enforcement Technology stog u sjeni · Razlikuje hardversku podršku, binarne markere, omogućavanje od strane učitavača i aktivnu zaštitu po niti. Opisuje IBT i stogove u sjeni kao zasebne mehanizme.