Поделиться через

Примеры инструментов

  • Статья

Примеры драйверов в этом каталоге содержат преднамеренные ошибки кода, предназначенные для демонстрации возможностей и функций статического средства проверки драйверов (SDV).

SDV — это средство статической проверки, которое систематически анализирует исходный код драйверов windows в режиме ядра. SDV входит в комплект драйверов Windows (WDK) и может запускаться из Microsoft Visual Studio.

Образец Описание
DV-FailDriver-WDM В этом примере показано, как DV может находить ошибки в драйвере WDM.
SDV-FailDriver-KMDF В этом примере показано, как SDV может находить ошибки в драйвере KMDF.
SDV-FailDriver-NDIS В этом примере показано, как SDV может находить ошибки в драйвере NDIS.
SDV-FailDriver-STORPORT В этом примере показано, как SDV может находить ошибки в драйвере Storport.
SDV-FailDriver-WDM В этом примере показано, как SDV может находить ошибки в драйвере WDM.