DDI 用法规则集 (NDIS)

使用这些规则来准确验证您的驱动程序是否正确使用 NDIS DDI。

本部分内容

主题 DESCRIPTION

Init_DeRegisterInterrupt

Init_DeRegisterInterrupt规则指定,如果在 MPInitilize 期间至少调用一次 NdisMRegisterInterruptEx,则应在 MPHaltEx 中至少调用一次 NdisMDeregisterInterruptEx

Init_NdisAllocateIoWorkItem

Init_NdisAllocateIoWorkItem规则指定,如果在 MiniportInitializeEx 期间至少调用一次 NdisAllocateIoWorkItem则 NdisFreeIoWorkItem 函数应:

Init_RegisterInterrupt

Init_RegisterInterrupt 规则规定,如果在通常发生于初始化阶段的中断注册过程中或者在微型端口驱动程序停止期间初始化流程出现问题,必须撤销已注册的中断。

如果在 MiniportInitializeEx 期间至少调用 NdisMRegisterInterruptEx,则必须在 MiniportHaltEx 中至少调用一次 NdisMDeregisterInterruptEx 函数。

Init_RegisterSG

Init_RegisterSG规则指定,如果在初始化过程中出现问题或在停止微型端口驱动程序期间发生错误,则通常发生在初始化过程中的散点收集列表(SG)的注册必须撤消。

如果在 MiniportInitializeEx 期间至少调用 NdisMRegisterScatterGatherDma,则应在 MiniportHaltEx 中至少调用一次 NdisMDeregisterScatterGatherDma 函数。

NdisFDeregisterFilterDriver

筛选器驱动程序必须从 FilterDriverUnload 例程调用 NdisFDeregisterFilterDriver

NdisMDeregisterInterruptEx

在 NdisMDeregisterInterruptEx 返回控件后,微型端口驱动程序无法调用 NdisMSynchronizeWithInterruptEx 函数。

NullCheck

NullCheck 规则用于验证驱动程序代码中的 NULL 值在后续的驱动操作中不会被取消引用。 如果满足以下任一条件,此规则将报告缺陷:

  • 接下来会对 NULL 的赋值进行取消引用。
  • 在驱动程序中,一个过程可能引用到一个全局变量或参数,该变量或参数可以为 NULL,并且在以后被引用时,驱动程序内有显式检查显示,这个指针的初始值可能为 NULL。

当出现 NullCheck 规则违规时,跟踪树窗格中会突出显示最相关的代码语句。 有关使用报表输出的详细信息,请参阅 静态驱动程序验证程序报表了解跟踪查看器

选择 DDI 使用规则集

  1. 在 Microsoft Visual Studio 中选择你的驱动程序项目(.vcxProj)。 在 “驱动程序 ”菜单中,单击“ 启动静态驱动程序验证程序...”

  2. 单击“ 规则 ”选项卡。在 “规则集”下,选择 DDIUsage

    若要从 Visual Studio 开发人员命令提示符窗口中选择默认规则集,请使用 /check 选项指定 DDIUsage.sdv。 例如:

    msbuild /t:sdv /p:Inputs="/check:DDIUsage.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32
    

    有关详细信息,请参阅使用静态驱动程序验证程序查找驱动程序静态驱动程序验证程序命令中的缺陷(MSBuild)。