InvalidReqAccess 규칙(kmdf)
InvalidReqAccess 규칙은 요청이 완료되거나 취소된 후 액세스되지 않도록 지정합니다. 이 규칙은 이중 완성을 위해 검사 규칙이나 요청에 대한 검사 취소 가능한 것으로 두 번 표시된 규칙과 같은 다른 규칙과 겹칠 수 있습니다.
요청이 완료되거나, 취소 가능으로 표시되거나, 전송된 후 취소된 경우 잘못된 것으로 간주됩니다. 요청이 잘못된 것으로 간주되면 요청이 이전에 취소 가능으로 표시된 경우 드라이버가 WdfRequestUnmarkCancelable을 호출하는 경우를 제외하고 WdfRequestXxx 함수에 요청을 전달할 수 없습니다.
이 규칙은 InvalidReqAccessLocal 규칙과 유사합니다 . 그러나 InvalidReqAccessLocal 규칙은 기본 I/O 큐 콜백 함수 내에서만 수행됩니다.
드라이버 모델: KMDF
테스트 방법
| 컴파일 시 |
|---|
정적 드라이버 검증 도구 를 실행하고 InvalidReqAccess 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다.자세한 내용은 정적 드라이버 검증 도구로 드라이버에서 결함 찾기를 참조하세요. |
적용 대상
WdfRequestAllocateTimer
WdfRequestCancelSentRequest
WdfRequestChangeTarget
WdfRequestComplete
WdfRequestCompleteWithInformation
WdfRequestCompleteWithPriorityBoost
WdfRequestFormatRequestUsingCurrentType
WdfRequestForwardToIoQueue
WdfRequestGetCompletionParams
WdfRequestGetFileObject
WdfRequestGetInformation
WdfRequestGetIoQueue
WdfRequestGetParameters
WdfRequestGetRequestorMode
WdfRequestIsFrom32BitProcess
WdfRequestMarkCancelable
WdfRequestMarkCancelableEx
WdfRequestProbeAndLockUserBufferForRead
WdfRequestProbeAndLockUserBufferForWrite
WdfRequestRequeue
WdfRequestRetrieveInputBuffer
WdfRequestRetrieveInputMemory
WdfRequestRetrieveInputWdmMdl
WdfRequestRetrieveOutputBuffer
WdfRequestRetrieveOutputMemory
WdfRequestRetrieveOutputWdmMdl
WdfRequestRetrieveUnsafeUserInputBuffer
WdfRequestRetrieveUnsafeUserOutputBuffer
WdfRequestReuse
WdfRequestSend
WdfRequestSetCompletionRoutine
WdfRequestSetInformation
WdfRequestUnmarkCancelable
WdfRequestWdmFormatUsingStackLocation
WdfRequestWdmGetIrp