CET-IBT

Архитектурна справкаFeex

CET-IBT представлява проследяване на непреки разклонения (indirect branch tracking) – защита на контролния поток, която проверява целите на следените непреки извиквания и скокове. Тя е отделна от сенчестите стекове на CET.

Какво трябва да знаете

Как работи

Когато проследяването е активирано за съответната среда за изпълнение, всяко непряко прехвърляне трябва да достигне до подходяща целева инструкция ENDBR съгласно правилата на архитектурата. Механизмът използва архитектурно състояние за проследяване и генерира изключение за защита на контрола, когато договорът бъде нарушен. Инструментирането чрез компилатор и двоични файлове е част от внедряването.

Къде е полезно

Компилаторът може да маркира валидни точки за непряк вход в дадена библиотека. ОС и средата за изпълнение трябва да приложат съвместимо активиране и политика към кода, който се изпълнява. Наличието на ENDBR байтове в дизасемблиран код само по себе си не доказва, че системата в момента налага IBT.

Как се проверява поддръжката и активирането

Бит 20 на CPUID.07H.00H:EDX указва възможността за IBT. Проверете отделно поддръжката за потребителски/супервайзорен режим в ОС и политиката за двоичните файлове. Диагностицирайте съвместимостта чрез официалните указания за компилатора и ОС, вместо да премахвате целевите инструкции от изпълнимия файл.

Възможността, активирането и прилагането трябва да се проверяват отделно. Процесорът може да поддържа дадена защита, докато операционната система, приложението или политиката на виртуалната машина не я активират. Полето за поддръжка в база данни не представлява атестация на работеща система.

Какво не гарантира тази функция

IBT не проверява обичайните връщания от функции по начина, по който го правят сенчестите стекове. То не е гаранция за пълна цялостност на контролния поток или за сигурност на приложението, а поддръжката за сенчести стекове не означава поддръжка за IBT.

Съвместимост и производителност на практика

Поддържайте операционната система, фърмуера и засегнатата среда за изпълнение актуални. Ако дадена защита разкрие проблем със съвместимостта, първо използвайте диагностиката на производителя и поддържаните актуализации. Глобалното превключване на защити може да засегне несвързани приложения и трябва да следва ясна политика за внедряване и възстановяване.

Практически контролен списък за проверка

Запишете точния модел на процесора или платформата, както и използваните версии на приложението, операционната система и средата за изпълнение. Запазете точния текст на действителната грешка или изискване.
Проверете документацията от производителя за този точен модел, след което инспектирайте действителните възможности и активираното състояние в средата, където работи програмата.
Сравнете всяко изискване на избрания двоичен файл или бекенд. Подобно наименувана функция, псевдоним или общ технологичен етикет не са достатъчни.
Потвърдете, че приложението е избрало планираната реализация. Използвайте неговата документирана диагностика и поддържан резервен вариант, когато изискванията не са изпълнени.
Правете по една поддържана промяна наведнъж и повтаряйте същото работно натоварване. Запазете достъпни оригиналната конфигурация и плана за възстановяване.

Ако функцията е посочена, но софтуерът не може да я използва

Започнете с точния компонент, който дава грешка. Хардуерната база данни описва записаните възможности; операционната система или хипервайзорът могат да предоставят различна ефективна среда. Грешка за невалидна инструкция (illegal-instruction) също изисква разследване на действителната сриваща се инструкция и компилацията на двоичния файл, тъй като повреда или несвързана неподдържана инструкция може да предизвика подобен симптом.

Инсталирайте версията на приложението, драйвера или средата за изпълнение, която се поддържа за точната платформа, и използвайте документираната от производителя базова или резервна компилация, ако е необходимо. Софтуерна актуализация не може да създаде инструкция, която липсва в процесора. Промените във фърмуера и политиките за сигурност трябва да следват процедурата на производителя на системата и план за възстановяване, а не общи съвети за оптимизация.

Източници и обхват на това обяснение

Intel 64 and IA-32 Architectures Software Developer's Manual · Linux ядро: Control-flow Enforcement Technology сенчест стек

Тези източници установяват архитектурното поведение и софтуерните изисквания. Те не проверяват независимо всяка стойност на параметър на свързана страница за хардуерен модел. За поддръжка на даден модел използвайте данните от производителя на съответната страница и проверете ефективната системна конфигурация. Тази статия не предоставя бенчмарк, сертификация или дата на независим преглед.

Източници и проверка

Редакционна собственост: Feex. Не е записана дата на независим преглед. Как проучваме.

Intel 64 and IA-32 Architectures Software Developer's Manual · Томове 1 и 2 описват посочените семейства инструкции и CPUID; Том 3 описва състоянието, страницирането, VMX и контролите за защита. Документацията за архитектурата не гарантира поддръжка за конкретен модел.
Linux ядро: Control-flow Enforcement Technology сенчест стек · Разграничава хардуерна поддръжка, маркери в двоичните файлове, активиране в зареждача и активна защита за всяка нишка. Описва IBT и сенчестите стекове като отделни механизми.

Беше ли полезна тази статия?

Достатъчно е "да" или "не". Изберете причина, ако желаете, или добавете кратка бележка.