Statik Sürücü Doğrulayıcı ile tanışın

Statik Sürücü Doğrulayıcı (SDV), derleme zamanında çalışan statik bir doğrulama aracıdır. Kaynak kodu sembolik olarak yürüterek sürücü kodundaki yolları inceler ve işletim sisteminin durumu ve sürücünün ilk durumu hakkında mümkün olan en az varsayımda bulunur. Sonuç olarak, SDV geleneksel testlerde kaçırılan yollarda kod alıştırması yapabilir.

SDV, bir sürücü ile işletim sistemi çekirdeği arasında uygun etkileşimi tanımlayan bir dizi kural içerir. Doğrulama sırasında SDV, sürücü kodunun ve kullandığı kitaplık kodunun geçerli tüm dallarını inceler ve sürücünün kuralları ihlal ettiğini kanıtlamaya çalışır. SDV bir ihlali kanıtlayamazsa, sürücünün kurallara uyduğunu ve doğrulamayı geçtiğini bildirir.

Bu bölüm şunları içerir:

Statik Sürücü Doğrulayıcıyı Anlama

Statik Sürücü Doğrulayıcı Kavramları

Desteklenen Sürücüler

Statik Sürücü Doğrulayıcı Sınırlamaları

Önemli

SDV artık desteklenmemektedir ve SDV, Windows 24H2 WDK veya EWDK sürümlerinde kullanılamaz. Derleme 26017'den daha yeni olan WDK'lerde kullanılamaz ve Windows 24H2 RTM WDK'ye dahil değildir. SDV, hâlâ Windows Driver Kit'i (WDK) ve Visual Studio derleme araçları 17.1.5 ile 24 Ekim 2023'te yayımlanan Windows 11, sürüm 22H2 EWDK'yiindirerek kullanılabilir. SDV'yi çalıştırmak için yalnızca Enterprise WDK kullanılması önerilir. Visual Studio'nun son sürümleriyle birlikte standart WDK'nin eski sürümlerinin kullanılması önerilmez, bu da büyük olasılıkla analiz hatalarına neden olur.
Bundan sonra CodeQL, sürücüler için birincil statik analiz aracı olacaktır. CodeQL, kodu sorgulanacak bir veritabanı olarak değerlendiren ve belirli davranışlar, desenler ve daha fazlası için sorgu yazmayı basit hale getiren güçlü bir sorgu dili sağlar. CodeQL kullanma hakkında daha fazla bilgi için bkz. CodeQL ve Statik Araçlar Logo Testi.