CET-IBT

Šta treba da znate

Kako funkcioniše

Kada je praćenje omogućeno za primjenjivo okruženje izvršavanja, indirektni prenos mora dostići odgovarajuću ENDBR instrukciju slijetanja prema pravilima arhitekture. Mehanizam koristi arhitektonsko stanje praćenja i podiže izuzetak zaštite kontrole kada se ugovor prekrši. Instrumentacija kompajlera i binarnog fajla dio je implementacije.

Đe je korisno

Kompajler može označiti važeće lokacije indirektnog ulaza u biblioteci. Operativni sistem i runtime moraju primijeniti kompatibilno omogućavanje i politiku na kôd koji se izvršava. Gledanje ENDBR bajtova u disasembliranom kôdu samo po sebi ne dokazuje da sistem trenutno primjenjuje IBT.

Kako provjeriti podršku i omogućenost

CPUID.07H.00H:EDX bit 20 numeriše mogućnost IBT. Provjerite podršku operativnog sistema za korisnički/supervizorski režim i binarnu politiku zasebno. Dijagnostikujte kompatibilnost koristeći zvanična uputstva za kompajler i operativni sistem umjesto uklanjanja instrukcija slijetanja iz binarnog fajla.

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

IBT ne provjerava obične povratke iz funkcija na način na koji to rade stogovi u sjenci. To nije garancija potpunog integriteta toka kontrole ili bezbjednosti aplikacije, a podrška za stogove u sjenci ne uspostavlja podršku za IBT.

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 shadow stacks · 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.