Zestaw reguł użycia DDI (WDM)

Użyj tych reguł, aby sprawdzić poprawność użycia przez sterownik interfejsów sterownika urządzeń WDM.

W tym dziale

Temat	Opis
DebugBreakUsage	Reguła DebugBreakUsage określa, że sterownik nie może wywoływać dbgBreakPoint lub DbgBreakPointWithStatus. Ta reguła ma zastosowanie tylko wtedy, gdy tworzysz wersję sterownika bez debugowania.
DoubleFetch	Reguła DoubleFetch sprawdza podwójne pobieranie ze wskaźników pamięci trybu użytkownika. Wielokrotne dostępy z trybu jądra do pamięci trybu użytkownika mogą prowadzić do problemu bezpieczeństwa związanego ze stanem wyścigu. Podczas uzyskiwania dostępu do danych trybu użytkownika kod trybu jądra musi utworzyć kopię danych trybu użytkownika lokalnie i uniknąć wielokrotnego uzyskiwania dostępu do danych trybu użytkownika. Nie można tego zrobić, powoduje wystąpienie typu problemu znanego jako "podwójne pobieranie", w którym dane mogą ulec zmianie po pierwszym dokonaniu dostępu.
NullCheck	Reguła NullCheck sprawdza, czy wartość NULL wewnątrz kodu sterownika nie zostanie wyłuszona później w kodzie sterownika. Ta reguła zgłasza usterkę, jeśli jeden z tych warunków jest spełniony: Występuje przypisanie wartości NULL, która zostanie później dereferencjonowana. Istnieje globalny parametr/procedura w sterowniku, który może mieć wartość NULL i jest później wyłuskiwany, a w sterowniku znajduje się jawne sprawdzenie sugerujące, że początkowa wartość wskaźnika może być równa NULL. W przypadku naruszeń reguły NullCheck najistotniejsze instrukcje kodu są wyróżnione w panelu drzewa śledzenia. Aby uzyskać więcej informacji na temat pracy z danymi wyjściowymi raportu, zobacz Statyczny raport weryfikatora sterowników i Omówienie przeglądarki śledzenia.
SafeStrings	Reguła SafeStrings określa, że sterownik wywołuje tylko te funkcje manipulowania ciągami, które chronią system przed niezamierzonym lub złośliwym włamaniem. Te bezpieczne funkcje łańcuchowe dla sterowników są zdefiniowane w Ntstrsafe.h.
Przestarzałe DDIs	Reguła PrzestarzałeDDI określa, że sterowniki nie powinny wywoływać FsRtlPrivateLock. Ta funkcja jest przestarzała. Zamiast tego użyj FsRtlFastLock.

Aby wybrać zestaw reguł użycia DDI

1. Wybierz projekt sterownika (.vcxProj) w programie Microsoft Visual Studio. W menu sterowników kliknij Uruchom Weryfikator Sterowników Statycznych….

2. Kliknij kartę Reguły . W obszarze Zestawy reguł wybierz pozycję DDIUsage.

   Aby wybrać domyślny zestaw reguł w oknie wiersza polecenia dla deweloperów programu Visual Studio, określ DDIUsage.sdv z opcją /check . Przykład:

   msbuild /t:sdv /p:Inputs="/check:DDIUsage.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32
   

   Aby uzyskać więcej informacji, zobacz Użycie Static Driver Verifier do Znalezienia Defektów w Sterownikach oraz Polecenia Static Driver Verifier (MSBuild).