CET shadow stacks

Šta treba da znate

Kako funkcioniše

Stog u sjenci drži zaštićenu kopiju povratnih informacija pored običnog stoga izvršavanja. Zaštićeni povratak provjerava dosljednost prema pravilima arhitekture. Operativni sistem upravlja omogućavanjem, memorijskim dozvolama i stanjem niti, dok izvršna okruženja (runtimes) moraju ispravno rukovati izuzecima i prelazima konteksta.

Đe je korisno

Prepisivanje stoga koje mijenja običnu povratnu adresu može proizvesti izuzetak zaštite kontrole kada se ne slaže sa zaštićenim stanjem povratka. Debager ili runtime moraju razumjeti okruženje stoga u sjenci umjesto da ga tretiraju kao običan stog u koji se može pisati.

Kako provjeriti podršku i omogućenost

CPUID.07H.00H:ECX bit 7 numeriše mogućnost stoga u sjenci. Koristite dokumentovani interfejs statusa operativnog sistema po procesu ili po niti kako biste utvrdili omogućavanje. Neobjašnjivo rušenje nalaže provjeru podržanih softverskih ažuriranja i kompatibilnosti prije promjene politike zaštite.

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

Stogovi u sjenci ne uspostavljaju podršku za IBT, ne štite sve podatke aplikacije niti eliminišu svaki napad na tok kontrole. Oznaka procesora ne dokazuje da su svaki izvršni fajl i učitana biblioteka pokriveni politikom kompatibilnosti operativnog sistema.

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

Control-flow Enforcement (CET) · CET-IBT · Execute Disable (NX)

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.