Правило RequestFormattedValid (kmdf)
Правило RequestFormattedValid указывает, что драйвер форматирует все запросы, кроме запроса WDF_REQUEST_SEND_OPTION_SEND_AND_FORGET, перед их отправкой в целевой объект ввода-вывода.
Модель драйвера: KMDF
Как тестировать
Во время компиляции |
---|
Запустите static driver Verifier и укажите правило RequestFormattedValid . Выполните следующие действия, чтобы выполнить анализ кода.
Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах. |
Применяется к
WdfIoTargetFormatRequestForInternalIoctlWdfIoTargetFormatRequestForInternalIoctlOthersWdfIoTargetFormatRequestForIoctlWdfIoTargetFormatRequestForReadWdfIoTargetFormatRequestForWriteWdfRequestFormatRequestUsingCurrentTypeWdfRequestSendWdfRequestWdmFormatUsingStackLocationWdfUsbTargetDeviceFormatRequestForControlTransferWdfUsbTargetDeviceFormatRequestForCyclePortWdfUsbTargetDeviceFormatRequestForStringWdfUsbTargetDeviceFormatRequestForUrbWdfUsbTargetPipeFormatRequestForAbortWdfUsbTargetPipeFormatRequestForReadWdfUsbTargetPipeFormatRequestForRequestForResetWdfUsbTargetPipeFormatRequestForUrbWdfUsbTargetPipeFormatRequestForWrite