Nuta
Dostęp do tej strony wymaga autoryzacji. Możesz spróbować się zalogować lub zmienić katalog.
Dostęp do tej strony wymaga autoryzacji. Możesz spróbować zmienić katalogi.
Przykłady sterowników w tym katalogu zawierają zamierzone błędy kodu, które zostały zaprojektowane w celu pokazania możliwości i funkcji statycznego weryfikatora sterowników (SDV).
SDV to statyczne narzędzie do weryfikacji, które systematycznie analizuje kod źródłowy sterowników trybu jądra systemu Windows. SdV jest dołączony do zestawu Windows Driver Kit (WDK) i można go uruchomić z programu Microsoft Visual Studio.
| Przykład | Opis |
|---|---|
| DV-FailDriver-WDM | W tym przykładzie pokazano, jak dv może znaleźć błędy w sterowniku WDM. |
| SDV-FailDriver-KMDF | W tym przykładzie pokazano, jak sdV może znaleźć błędy w sterowniku KMDF. |
| SDV-FailDriver-NDIS | W tym przykładzie pokazano, jak sdV może znaleźć błędy w sterowniku NDIS. |
| SDV-FailDriver-STORPORT | W tym przykładzie pokazano, jak sdV może znaleźć błędy w sterowniku Storport. |
| SDV-FailDriver-WDM | W tym przykładzie pokazano, jak sdV może znaleźć błędy w sterowniku WDM. |