1. [Wiki](https://feex.it/wiki/) 2. [Hardver](https://feex.it/wiki/hardware/) 3. [Sistemi i arhitektura](https://feex.it/wiki/hardware/system/) 4. Control-flow Enforcement (CET) # Control-flow Enforcement (CET) Referenca arhitekture: Feex Takođe se naziva CET CET, Control-flow Enforcement Technology, dodaje hardverske mehanizme za zaštitu toka kontrole, prvenstveno stogove u sjenci (shadow stacks) i praćenje indirektnih grananja. Hardverska podrška i aktivna zaštita u određenom procesu su različita stanja. ## Šta treba da znate CET, Control-flow Enforcement Technology, dodaje hardverske mehanizme za zaštitu toka kontrole, prvenstveno stogove u sjenci (shadow stacks) i praćenje indirektnih grananja. Hardverska podrška i aktivna zaštita u određenom procesu su različita stanja. ## 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](https://feex.it/wiki/l/cnr/hardware/system/cet-ibt/) · [CET shadow stacks](https://feex.it/wiki/l/cnr/hardware/system/cet-ss/) · [Execute Disable (NX)](https://feex.it/wiki/l/cnr/hardware/system/execute-disable/) · [OS Guard i SMEP](https://feex.it/wiki/l/cnr/hardware/system/os-guard/) ## Izvori i obim ovog objašnjenja [Intel 64 and IA-32 Architectures Software Developer's Manual](https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html) · [Linux kernel: Control-flow Enforcement Technology shadow stack](https://docs.kernel.org/arch/x86/shstk.html) 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. [CET-IBT: Referenca arhitekture](https://feex.it/wiki/l/cnr/hardware/system/cet-ibt/)[CET shadow stacks: Referenca arhitekture](https://feex.it/wiki/l/cnr/hardware/system/cet-ss/)[Execute Disable (NX): Referenca arhitekture](https://feex.it/wiki/l/cnr/hardware/system/execute-disable/)[OS Guard i SMEP: Referenca arhitekture](https://feex.it/wiki/l/cnr/hardware/system/os-guard/) ## Izvori i verifikacija Uredničko vlasništvo: Feex. Nije zabilježen datum nezavisne recenzije. [Kako istražujemo](https://feex.it/wiki/research/). - [Intel 64 and IA-32 Architectures Software Developer's Manual ](https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html)· 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 ](https://docs.kernel.org/arch/x86/shstk.html)· 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. ## Da li je ovaj članak bio koristan? Dovoljno je da označite sa da ili ne. Izaberite razlog ako želite, ili dodajte kratku napomenu. Brze činjenice Kratak pregled identiteta ove stranice. Specifikacije, izvori i kompletna priča ostaju u članku. --- Source: [Canonical Feex Wiki page](https://feex.it/wiki/l/cnr/hardware/system/cet/) [Developer guide](https://feex.it/wiki/developers/) | [API policy](https://feex.it/developers/api-policy/) | [Agent guidance](https://feex.it/wiki/llms.txt)