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