LocalIrpProcessing 规则集 (WDM)

使用这些规则验证驱动程序是否正确处理由驱动程序创建的 I/O 请求数据包 (IRP) 。

在本节中

主题	说明
IoAllocateComplete	IoAllocateComplete 规则指定如果 IRP 是使用 IoAllocateIrp 创建的，则驱动程序不应调用 IoCompleteRequest。
IoAllocateFree	IoAllocateFree 规则指定驱动程序应仅在以前使用 IoAllocateIrp 分配的 IRP 上使用 IoFreeIrp。
IoAllocateForward	IoAllocateForward 规则指定，如果 IRP 是通过调用 IoAllocateIrp 生成的，则驱动程序必须在调用 IoCallDriver 或 PoCallDriver 之前设置完成例程。
IoAllocateIrpSignalEventInCompletion	IoAllocateIrpSignalEventInCompletion 规则指定，当设置了 Irp-PendingReturned> 标志并且完成例程正在处理本地创建的异步 IRP 时，驱动程序应在完成例程中调用 KeSetEvent。
IoAllocateIrpSignalEventInCompletion2	IoAllocateIrpSignalEventInCompletion2 规则指定，当设置了 Irp-PendingReturned> 标志并且完成例程正在处理本地创建的异步 IRP 时，需要在完成例程中调用 KeSetEvent。
IoAllocateIrpSignalEventInCompletion3	IoAllocateIrpSignalEventInCompletion3 规则指定，当设置了 Irp-PendingReturned> 标志并且完成例程正在处理本地创建的异步 IRP 时，需要在完成例程中调用 KeSetEvent。
IoAllocateIrpSignalEventInCompletionTimeout	如果 IoAllocateIrpSignalEventInCompletionTimeout 规则检测到此驱动程序将无限期等待，直到较低的驱动程序返回，则它会报告缺陷，因为需要在完成例程中向 IRP 的事件发出信号。
IoBuildDeviceControlNoFree	IoBuildDeviceControlNoFree 规则指定调用 IoBuildDeviceIoControlRequest 的驱动程序不得调用 IoFreeIrp。
IoBuildDeviceControlWait	IoBuildDeviceControlWait 规则指定在 IoCallDriver 或 PoCallDriver 返回STATUS_PENDING时应调用 KeWaitForSingleObject 例程。
IoBuildDeviceControlWaitTimeout	如果 IoBuildDeviceControlWaitTimeout 规则检测到此驱动程序将无限期等待，直到较低的驱动程序返回，则它会报告缺陷，因为需要在完成例程中向 IRP 的事件发出信号。
IoBuildDeviceIoControlSetEvent	IoBuildDeviceIoControlSetEvent 规则指定，如果驱动程序提供指向调用方分配和初始化的事件对象的指针，则调用 IoBuildDeviceIoControlRequest 的驱动程序不得调用 KeSetEvent。 驱动程序不需要为此 IRP 调用 KeSetEvent 。
IoBuildFsdComplete	IoBuildFsdComplete 规则指定如果 IRP 是使用 IoBuildAsynchronousFsdRequest 创建的，则驱动程序不应调用 IoCompleteRequest。
IoBuildFsdForward	IoBuildFsdForward 规则指定，如果 IRP 是通过对 IoBuildAsynchronousFsdRequest 的调用生成的，则必须在驱动程序调用 IoCallDriver 或 PoCallDriver 之前设置完成例程。
IoBuildFsdFree	IoBuildFsdFree 规则指定驱动程序应仅在以前使用 IoBuildAsynchronousFsdRequest 分配的 IRP 上使用 IoFreeIrp。
IoBuildFsdIrpSignalEventInCompletion	IoBuildFsdIrpSignalEventInCompletion 规则指定在设置 Irp-PendingReturned> 标志且完成例程处理本地创建的异步 IRP 时，驱动程序应在完成例程中调用 KeSetEvent。
IoBuildFsdIrpSignalEventInCompletion2	IoBuildFsdIrpSignalEventInCompletion2 规则指定，当设置了 Irp-PendingReturned> 标志并且完成例程正在处理本地创建的异步 IRP 时，需要在完成例程中调用 KeSetEvent。
IoBuildFsdIrpSignalEventInCompletion3	IoBuildFsdIrpSignalEventInCompletion3 规则指定，当设置了 Irp-PendingReturned> 标志并且完成例程正在处理本地创建的异步 IRP 时，需要在完成例程中调用 KeSetEvent。
IoBuildFsdIrpSignalEventInCompletionTimeout	IoBuildFsdIrpSignalEventInCompletionTimeout 规则在驱动程序无限期地等待直到较低的驱动程序返回时报告缺陷，因为需要在完成例程中向 IRP 的事件发出信号。
IoBuildSynchronousFsdRequestNoFree	IoBuildSynchronousFsdRequestNoFree 规则指定调用 IoBuildSynchronousFsdRequest 的驱动程序不得调用 IoFreeIrp。
IoBuildSynchronousFsdRequestWait	IoBuildSynchronousFsdRequestWait 规则指定在 IoCallDriver 或 PoCallDriver 返回STATUS_PENDING的情况下应调用 KeWaitForSingleObject。
IoBuildSynchronousFsdRequestWaitTimeout	如果 IoBuildSynchronousFsdRequestWaitTimeout 规则检测到此驱动程序将无限期地等待，直到较低的驱动程序返回，则它会报告缺陷，因为需要在完成例程中向 IRP 的事件发出信号。
RequestedPowerIrp	RequestedPowerIrp 规则指定驱动程序调用 PoRequestPowerIrp，并将*Irp指针变量设置为 NULL。

选择 LocalIrpProcessing 规则集

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

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

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

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

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