CET-IBT

Mimari referansıFeex

CET-IBT, izlenen dolaylı çağrıların ve atlamaların hedeflerini denetleyen bir kontrol akışı koruması olan dolaylı dal izlemedir (indirect branch tracking). CET gölge yığınlarından ayrıdır.

Bilmeniz gerekenler

Nasıl çalışır

Geçerli yürütme ortamı için izleme etkinleştirildiğinde, dolaylı bir aktarım mimarinin kuralları altında uygun bir ENDBR iniş komutuna ulaşmalıdır. Mekanizma mimari izleme durumunu kullanır ve sözleşme ihlal edildiğinde bir kontrol koruma istisnası üretir. Derleyici ve ikili araçlandırma, dağıtımın bir parçasıdır.

Nerede yararlıdır

Bir derleyici, bir kütüphanedeki geçerli dolaylı giriş konumlarını işaretleyebilir. İşletim sistemi ve çalışma zamanı, yürütülen koda uyumlu etkinleştirme ve politika uygulamalıdır. Ayrıştırılmış kodda (disassembly) ENDBR baytlarını görmek, tek başına sistemin şu anda IBT'yi zorladığını kanıtlamaz.

Destek ve etkinleştirme durumu nasıl kontrol edilir

CPUID.07H.00H:EDX 20. biti IBT yeteneğini numaralandırır. İşletim sisteminin kullanıcı/gözetmen desteğini ve ikili politikasını ayrı ayrı kontrol edin. Bir ikiliden iniş komutlarını kaldırmak yerine resmi derleyici ve işletim sistemi kılavuzlarını kullanarak uyumluluk tanılaması yapın.

Yetenek, etkinleştirme ve yaptırım ayrı ayrı kontrol edilmelidir. Bir işlemci bir korumayı destekleyebilirken işletim sistemi, uygulama veya sanal makine ilkesi bunu etkinleştirmeyebilir. Veritabanındaki bir destek alanı, çalışan bir sistemin kanıtı değildir.

Özelliğin sağlamadığı durumlar

IBT, sıradan işlev dönüşlerini gölge yığınların yaptığı şekilde denetlemez. Tam kontrol akışı bütünlüğünün veya uygulama güvenliğinin bir garantisi değildir ve gölge yığın desteği IBT desteğini sağlamaz.

Uygulamada uyumluluk ve performans

İşletim sistemini, bellenimi ve etkilenen çalışma zamanını güncel tutun. Bir koruma uyumluluk sorunu ortaya çıkarırsa, önce satıcı tanılamalarını ve desteklenen güncellemeleri kullanın. Kapsamlı bir koruma anahtarı ilgisiz uygulamaları etkileyebilir ve açık bir dağıtım ve kurtarma ilkesini izlemelidir.

Pratik bir doğrulama kontrol listesi

İlgili tam işlemci veya platform modelini ve uygulama, işletim sistemi ve çalışma zamanı sürümlerini kaydedin. Gerçek hatanın veya gereksinimin metnini koruyun.
Bu tam model için üretici referansını kontrol edin, ardından programın çalıştığı ortamda geçerli yeteneği ve etkinleştirilmiş durumu inceleyin.
Seçilen ikili dosyanın veya arka ucun her gereksinimini karşılaştırın. Benzer şekilde adlandırılmış bir özellik, diğer ad veya genel teknoloji etiketi yeterli değildir.
Uygulamanın hedeflenen uygulamayı seçtiğini onaylayın. Gereksinimler karşılanmadığında belgelenmiş tanılamalarını ve desteklenen bir geri dönüşü kullanın.
Her seferinde desteklenen bir değişiklik yapın ve aynı iş yükünü tekrarlayın. Orijinal yapılandırmayı ve kurtarma yolunu kullanılabilir durumda tutun.

Özellik listeleniyor ancak yazılım kullanamıyorsa

Hata veren tam bileşenle başlayın. Bir donanım veritabanı kayıtlı yeteneği açıklar; işletim sistemi veya hipervizör farklı bir geçerli ortam sunabilir. Geçersiz komut hatası, gerçek hatalı komutun ve ikili yapının da incelenmesini gerektirir, çünkü bozulma veya ilgisiz, desteklenmeyen bir komut benzer bir belirti üretebilir.

Tam platform için desteklenen uygulama, sürücü veya çalışma zamanı sürümünü yükleyin ve gerekirse satıcının belgelenmiş temel veya geri dönüş derlemesini kullanın. Bir yazılım güncellemesi, işlemcide eksik olan bir komutu oluşturamaz. Bellenim ve güvenlik politikası değişiklikleri, genel bir optimizasyon tarifi yerine sistem üreticisinin prosedürünü ve bir kurtarma planını izlemelidir.

Bu açıklamanın kaynakları ve kapsamı

Intel 64 ve IA-32 Mimarileri Yazılım Geliştirici Kılavuzu · Linux çekirdeği: Control-flow Enforcement Technology gölge yığını

Bu referanslar mimari davranışı ve yazılım gereksinimlerini belirler. Bağlantılı bir donanım modeli sayfasındaki her özellik değerini bağımsız olarak doğrulamazlar. Model desteği için ilgili sayfanın üretici kanıtlarını kullanın ve geçerli sistem yapılandırmasını kontrol edin. Bu makale bir kıyaslama, sertifikasyon veya bağımsız inceleme tarihi sağlamaz.

Kaynaklar ve doğrulama

Editoryal mülkiyet: Feex. Bağımsız bir inceleme tarihi kaydedilmemiştir. Nasıl araştırıyoruz.

Intel 64 ve IA-32 Mimarileri Yazılım Geliştirici Kılavuzu · Cilt 1 ve 2, adlandırılmış komut ailelerini ve CPUID'yi açıklar; Cilt 3, durum, sayfalama, VMX ve koruma denetimlerini açıklar. Mimari belgeleri belirli bir model için desteği doğrulamaz.
Linux çekirdeği: Control-flow Enforcement Technology gölge yığını · Donanım desteğini, ikili işaretleyicileri, yükleyici etkinleştirmesini ve iş parçacığı başına etkin korumayı ayırt eder. IBT'yi ve gölge yığınları ayrı olanaklar olarak tanımlar.

Bu makale yararlı oldu mu?

Evet veya hayır yeterlidir. İsterseniz bir neden seçin veya kısa bir not ekleyin.