Control-flow Enforcement (CET)

Šta treba da znate

Kako funkcioniše

Stogovi u sjenci održavaju zaštićeno stanje povratnih adresa, dok praćenje indirektnih grananja ograničava odredišta praćenih indirektnih grananja. Oni se bave različitim prenosima toka kontrole i imaju zasebnu numeraciju i omogućavanje. Operativni sistem, učitavač, binarni fajl aplikacije i biblioteke učestvuju u funkcionisanju zaštićenog okruženja za izvršavanje.

Đe je korisno

Prikladno izgrađena aplikacija može raditi sa stogom u sjenci kojim upravlja operativni sistem, tako da nepodudarna povratna adresa izaziva definisani izuzetak umjesto da tiho preusmjeri izvršavanje. Politika kompatibilnosti može se razlikovati za naslijeđene module, kao i za zaštitu u korisničkom režimu naspram zaštite u režimu supervizora.

Kako provjeriti podršku i omogućenost

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

Sposobnost, omogućenost i primjena 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 sistema koji radi.

Šta ova funkcija ne utvrđuje

CET polje ne dokazuje da su obje podmogućnosti prisutne ili omogućene. CET ne čini binarni fajl pouzdanim, ne sprečava svaku grešku oštećenja memorije niti zamjenjuje ažuriranja. Onemogućavanje zaštite na globalnom nivou nije rutinsko rješenje za rušenje aplikacije.

Kompatibilnost i performanse u praksi

Održavajte OS, firmver i pogođeni runtime aktuelnim. Ako zaštita izloži problem sa kompatibilnošću, prvo upotrijebite dijagnostiku proizvođača i podržana ažuriranja. Široki prekidač zaštite može uticati na nepovezane aplikacije i treba da prati eksplicitnu politiku implementacije i oporavka.

Praktična lista za provjeru verifikacije

1. Zabilježite tačan model procesora ili platforme, kao i verzije aplikacije, OS-a i runtime-a 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 đe se program izvršava.
3. Uporedite svaki zahtjev odabranog binarnog koda ili backend-a. Funkcija sličnog naziva, alias ili široka tehnološka oznaka nijesu dovoljni.
4. Potvrdite da je aplikacija odabrala predviđenu implementaciju. Koristite njenu dokumentovanu dijagnostiku i podržanu rezervnu varijantu kada zahtjevi nijesu ispunjeni.
5. Napravite po jednu podržanu promjenu u isto vrijeme i ponovite isto radno opterećenje. Držite originalnu konfiguraciju i putanju oporavka dostupnima.

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

Počnite sa tačnom komponentom koja otkazuje. Baza podataka hardvera opisuje zabilježenu sposobnost; operativni sistem ili hipervizor mogu izložiti drugačije efektivno okruženje. Greška nelegalne instrukcije takođe zahtijeva istragu stvarne instrukcije koja je izazvala kvar i binarne verzije, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.

Instalirajte verziju aplikacije, drajvera ili runtime-a podržanu za tačnu platformu i koristite dokumentovanu osnovnu ili rezervnu verziju proizvođača ako je potrebno. Ažuriranje softvera ne može stvoriti instrukciju koja procesoru nedostaje. Promjene firmvera i bezbjednosnih politika treba da prate proceduru proizvođača sistema i plan oporavka, a ne generički recept za optimizaciju.

Povezane funkcije i korisne razlike

CET-IBT · CET shadow stacks · 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 shadow stack

Ove reference utvrđuju arhitekturno ponašanje i softverske zahtjeve. One ne verifikuju nezavisno svaku vrijednost funkcije na povezanoj stranici hardverskog modela. Za podršku modela, koristite dokaze proizvođača sa te stranice i provjerite efektivnu konfiguraciju sistema. Ovaj članak ne pruža benčmark, sertifikaciju niti datum nezavisnog pregleda.

Povezano

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

Izvori i verifikacija

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

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