Rules for KMDF Drivers
This section lists and describes the DDI Compliance Rules for Kernel Mode Driver Framework (KMDF) drivers that you can include in a verification.
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 KMDF DDIs correctly. |
|
Use these rules to verify that your driver correctly processes I/O request packets (IRP). |
|
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 follows a general set of requirements for the proper handling of device objects, keys, and that the driver does not makes calls to DDIs that are not appropriate for a non-PnP driver or for a non-FDO driver that is not a power policy owner. |
|
Use these rules to verify that your driver correctly completes or cancels I/O request packets (IRP). |
|
Use these rules to verify that your driver correctly handles some specialized KMDF methods for USB devices. |
|
Use these rules to verify that your driver can correctly processes IRPs in various contexts and follows Microsoft recommended best practices. |