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 |
|---|---|
|
The Default rule set (Default.sdv) specifies the recommended sets of rules to use when you analyze your driver. | |
|
Use these rules to verify that your driver correctly uses NDIS DDIs correctly. | |
|
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. | |
|
Use these rules to verify that your driver correctly manages shared resources. | |
|
Use these rules to verify that your driver correctly calls NDIS functions to allocate and free memory. | |
|
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. | |
|
Use these rules to verify that your driver correctly processes OID requests. | |
|
Use these rules to verify that your driver can correctly processes IRPs in various contexts and follows Microsoft recommended best practices. |
Send comments about this topic to Microsoft
Build date: 5/7/2013
