CET shadow stacks

Wat u moet weten

Hoe het werkt

Een shadow stack bewaart een beschermde kopie van retourinformatie naast de gewone uitvoeringsstack. Een beschermde retour controleert de consistentie volgens de regels van de architectuur. Het besturingssysteem beheert inschakeling, geheugenmachtigingen en threadstatus, terwijl runtimes uitzonderingen en contextovergangen correct moeten afhandelen.

Waar het nuttig is

Een stackoverschrijving die een gewoon retouradres wijzigt, kan een controlebeschermingsuitzondering veroorzaken wanneer deze afwijkt van de beschermde retourstatus. Een debugger of runtime moet de shadow-stack-omgeving begrijpen in plaats van deze te behandelen als een gewone beschrijfbare stack.

Ondersteuning en activering controleren

CPUID.07H.00H:ECX bit 7 enumereert shadow-stack-functionaliteit. Gebruik de gedocumenteerde statusinterface per proces of per thread van het besturingssysteem om inschakeling vast te stellen. Een onverklaarbare crash rechtvaardigt het controleren van ondersteunde software-updates en compatibiliteit alvorens het beveiligingsbeleid te wijzigen.

Capaciteit, inschakeling en afdwinging moeten afzonderlijk worden gecontroleerd. Een processor kan een beveiliging ondersteunen terwijl het OS, de applicatie of het beleid voor virtuele machines deze niet activeert. Een ondersteuningsveld in een database is geen attestatie van een draaiend systeem.

Wat de functie niet vaststelt

Shadow stacks tonen geen IBT-ondersteuning aan, beschermen niet alle toepassingsgegevens en elimineren niet elke aanval op de control-flow. Een CPU-label bewijst niet dat elk uitvoerbaar bestand en elke geladen bibliotheek wordt gedekt door het compatibiliteitsbeleid van het besturingssysteem.

Compatibiliteit en prestaties in de praktijk

Houd het besturingssysteem, de firmware en de betreffende runtime actueel. Als een beveiligingsfunctie een compatibiliteitsprobleem aan het licht brengt, gebruik dan eerst de diagnostische gegevens en ondersteunde updates van de leverancier. Een brede beveiligingsschakelaar kan niet-gerelateerde applicaties beïnvloeden en moet een expliciet implementatie- en herstelbeleid volgen.

Een praktische controlelijst voor verificatie

1. Noteer het exacte processor- of platformmodel en de betrokken applicatie-, OS- en runtimeversies. Behoud de formulering van de daadwerkelijke fout of vereiste.
2. Raadpleeg de fabrikantdocumentatie voor dat exacte model en inspecteer vervolgens de effectieve capaciteit en ingeschakelde status in de omgeving waarin het programma draait.
3. Vergelijk elke vereiste van de geselecteerde binary of backend. Een gelijknamige functie, alias of breed technologielabel is niet voldoende.
4. Bevestig dat de applicatie de bedoelde implementatie heeft geselecteerd. Gebruik de gedocumenteerde diagnostiek en een ondersteunde terugvaloptie wanneer niet aan de vereisten wordt voldaan.
5. Voer één ondersteunde wijziging tegelijk door en herhaal dezelfde werklast. Houd de oorspronkelijke configuratie en het herstelpad beschikbaar.

Als de functie wordt vermeld maar software deze niet kan gebruiken

Begin bij het exacte falende onderdeel. Een hardwaredatabase beschrijft geregistreerde capaciteiten; het besturingssysteem of de hypervisor kan een andere effectieve omgeving tonen. Een fout met betrekking tot een ongeldige instructie vereist ook onderzoek van de daadwerkelijke foutieve instructie en binary-build, omdat beschadiging of een niet-gerelateerde niet-ondersteunde instructie een vergelijkbaar symptoom kan veroorzaken.

Installeer de applicatie-, driver- of runtimeversie die voor het exacte platform wordt ondersteund, en gebruik indien nodig de gedocumenteerde basislijn of fallback-build van de leverancier. Een software-update kan geen instructie creëren die de processor mist. Wijzigingen in firmware en beveiligingsbeleid moeten de procedure en het herstelplan van de systeemfabrikant volgen in plaats van een generiek optimalisatierecept.

Verwante functies en nuttige onderscheidingen

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

Bronnen en reikwijdte van deze uitleg

Intel 64 and IA-32 Architectures Software Developer's Manual · Linux-kernel: Control-flow Enforcement Technology shadow stack

Deze referenties stellen architecturaal gedrag en softwarevereisten vast. Ze verifiëren niet onafhankelijk elke functiewaarde op een gekoppelde hardwaremodelpagina. Gebruik voor modelondersteuning het fabrikantenbewijs van die pagina en controleer de effectieve systeemconfiguratie. Dit artikel biedt geen benchmark, certificering of onafhankelijke beoordelingsdatum.

Gerelateerd

Deze entiteiten zijn verbonden met dit artikel. Het type wordt bij elke link weergegeven.

Bronnen en verificatie

Redactioneel eigendom: Feex. Er is geen onafhankelijke beoordelingsdatum vastgelegd. Hoe wij onderzoek doen.

• Intel 64 and IA-32 Architectures Software Developer's Manual · De delen 1 en 2 beschrijven de genoemde instructiefamilies en CPUID; Deel 3 beschrijft status-, paging-, VMX- en beveiligingscontroles. Architectuurdocumentatie stelt geen ondersteuning voor een specifiek model vast.
• Linux-kernel: Control-flow Enforcement Technology shadow stack · Onderscheidt hardware-ondersteuning, binaire markeringen, inschakeling via het laadprogramma en actieve bescherming per thread. Beschrijft IBT en shadow stacks als afzonderlijke faciliteiten.