CET сенчести стекове

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

Нарича се още CET-SS

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

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

Как работи

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

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

Презаписване на стека, което променя стандартен адрес за връщане, може да породи изключение за защита на контрола, когато има несъответствие със защитеното състояние за връщане. Дебъгер или среда за изпълнение трябва да разбира средата на сенчестия стек, а не да го третира като обикновен стек с възможност за запис.

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

Бит 7 на CPUID.07H.00H:ECX указва възможността за сенчест стек. Използвайте документирания интерфейс на ОС за статус на ниво процес или нишка, за да установите дали функцията е активирана. Необясним срив изисква проверка на поддържаните софтуерни актуализации и съвместимостта, преди да променяте политиката за защита.

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

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

Сенчестите стекове не гарантират поддръжка на 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 и сенчестите стекове като отделни механизми.

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

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