Rules for NDIS Drivers

This section lists and describes the Static Driver Verifier rules for NDIS drivers that you can include in a verification of your driver.

In this section

Topic Description

Default rule set (NDIS)

The Default rule set (Default.sdv) specifies the recommended sets of rules to use when you analyze your driver.

DDI usage rule set (NDIS)

Use these rules to verify that your driver correctly uses NDIS DDIs correctly.

IRQL rule set (NDIS)

Use these rules to verify that your driver makes DDI calls at the required IRQL.

A driver that does not follow the IRQL rules can cause serious problems during operation that can lead to deadlock conditions or computer crashes.

Locking rule set (NDIS)

Use these rules to verify that your driver correctly manages shared resources.

Memory usage rule set (NDIS)

Use these rules to verify that your driver correctly calls NDIS functions to allocate and free memory.

Miscellaneous rule set (NDIS)

Use these rules to verify that your driver correctly follows a general set of requirements for the proper handling of timers, pause operations, keys, strings and bindings.

OidProcessing rule set (NDIS)

Use these rules to verify that your driver correctly processes OID requests.

Warning rule set (NDIS)

Use these rules to verify that your driver can correctly processes IRPs in various contexts and follows Microsoft recommended best practices.

NDIS/WIFI verification rule set

[!Note]
You can test NDIS/WIFI drivers with these rules starting with Windows 8.1.