다음을 통해 공유


ReqMarkCancelableSend 규칙(kmdf)

ReqMarkCancelableSend 규칙은 드라이버가 전달한 요청이 WdfRequestMarkCancelable을 호출하여 취소 가능으로 표시되지 않도록 지정합니다.

요청을 취소 가능으로 표시하려면 드라이버가 요청을 소유해야 합니다. 요청이 다른 드라이버로 전송되면 이전 드라이버에 더 이상 소유권이 없으며 이전에 취소 가능으로 표시된 경우 요청에서 WdfRequestUnmarkCancelable 을 호출해야 합니다.

드라이버 모델: KMDF

테스트 방법

컴파일 시

정적 드라이버 검증 도구 를 실행하고 ReqMarkCancelableSend 규칙을 지정합니다.

다음 단계를 사용하여 코드 분석을 실행합니다.
  1. 코드를 준비합니다(역할 형식 선언 사용).
  2. 정적 드라이버 검증 도구 실행
  3. 결과를 보고 분석합니다.

자세한 내용은 정적 드라이버 검증 도구로 드라이버에서 결함 찾기를 참조하세요.

적용 대상

WdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestUnmarkCancelable