使用这些规则来准确验证您的驱动程序是否正确使用 NDIS DDI。
本部分内容
| 主题 | DESCRIPTION |
|---|---|
Init_DeRegisterInterrupt规则指定,如果在 MPInitilize 期间至少调用一次 NdisMRegisterInterruptEx,则应在 MPHaltEx 中至少调用一次 NdisMDeregisterInterruptEx。 |
|
Init_NdisAllocateIoWorkItem规则指定,如果在 MiniportInitializeEx 期间至少调用一次 NdisAllocateIoWorkItem,则 NdisFreeIoWorkItem 函数应:
|
|
Init_RegisterInterrupt 规则规定,如果在通常发生于初始化阶段的中断注册过程中或者在微型端口驱动程序停止期间初始化流程出现问题,必须撤销已注册的中断。 如果在 MiniportInitializeEx 期间至少调用 NdisMRegisterInterruptEx,则必须在 MiniportHaltEx 中至少调用一次 NdisMDeregisterInterruptEx 函数。 |
|
Init_RegisterSG规则指定,如果在初始化过程中出现问题或在停止微型端口驱动程序期间发生错误,则通常发生在初始化过程中的散点收集列表(SG)的注册必须撤消。 如果在 MiniportInitializeEx 期间至少调用 NdisMRegisterScatterGatherDma,则应在 MiniportHaltEx 中至少调用一次 NdisMDeregisterScatterGatherDma 函数。 |
|
筛选器驱动程序必须从 FilterDriverUnload 例程调用 NdisFDeregisterFilterDriver。 |
|
在 NdisMDeregisterInterruptEx 返回控件后,微型端口驱动程序无法调用 NdisMSynchronizeWithInterruptEx 函数。 |
|
NullCheck 规则用于验证驱动程序代码中的 NULL 值在后续的驱动操作中不会被取消引用。 如果满足以下任一条件,此规则将报告缺陷:
当出现 NullCheck 规则违规时,跟踪树窗格中会突出显示最相关的代码语句。 有关使用报表输出的详细信息,请参阅 静态驱动程序验证程序报表 和 了解跟踪查看器。 |
选择 DDI 使用规则集
在 Microsoft Visual Studio 中选择你的驱动程序项目(.vcxProj)。 在 “驱动程序 ”菜单中,单击“ 启动静态驱动程序验证程序...”。
单击“ 规则 ”选项卡。在 “规则集”下,选择 DDIUsage。
若要从 Visual Studio 开发人员命令提示符窗口中选择默认规则集,请使用 /check 选项指定 DDIUsage.sdv。 例如:
msbuild /t:sdv /p:Inputs="/check:DDIUsage.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32有关详细信息,请参阅使用静态驱动程序验证程序查找驱动程序和静态驱动程序验证程序命令中的缺陷(MSBuild)。