RequestFormattedValid 규칙은 드라이버가 I/O 대상으로 보내기 전에 WDF_REQUEST_SEND_OPTION_SEND_AND_FORGET 요청을 제외한 모든 요청의 형식을 지정합니다.
드라이버 모델: KMDF
테스트 방법
| 컴파일 시 |
|---|
정적 드라이버 검증 도구를 실행하고 RequestFormattedValid 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다. |
적용 대상
WdfIoTargetFormatRequestForInternalIoctlWdfIoTargetFormatRequestForInternalIoctlOthersWdfIoTargetFormatRequestForIoctlWdfIoTargetFormatRequestForReadWdfIoTargetFormatRequestForWriteWdfRequestFormatRequestUsingCurrentTypeWdfRequestSendWdfRequestWdmFormatUsingStackLocationWdfUsbTargetDeviceFormatRequestForControlTransferWdfUsbTargetDeviceFormatRequestForCyclePortWdfUsbTargetDeviceFormatRequestForStringWdfUsbTargetDeviceFormatRequestForUrbWdfUsbTargetPipeFormatRequestForAbortWdfUsbTargetPipeFormatRequestForReadWdfUsbTargetPipeFormatRequestForResetWdfUsbTargetPipeFormatRequestForUrbWdfUsbTargetPipeFormatRequestForWrite