다음을 통해 공유


DrvAckIoStop 규칙(kmdf)

DrvAckIoStop 규칙은 전원 관리 큐가 전원이 공급되는 동안 드라이버가 보류 중인 요청을 인식하고 드라이버가 그에 따라 보류 중인 요청을 승인, 완료 또는 취소하는지 확인합니다. 자체 관리형 I/O 요청의 경우 드라이버는 EvtDeviceSelfManagedIoSuspend 함수에서 이러한 요청을 올바르게 처리해야 합니다. 전원이 켜진 동안 이러한 요청을 처리하지 못하는 드라이버는 버그 검사 0x9F 발생합니다. DRIVER_POWER_STATE_FAILURE.

경우에 따라 이 경고를 표시하지 않는 것이 적절할 수 있습니다. 드라이버가 요청을 보류하지 않거나 다른 드라이버에 전달하지 않고 드라이버가 큐의 처리기에서 직접 요청을 완료하는 경우 __analysis_assume 함수를 사용하여 경고를 표시하지 않을 수 있습니다. 자세한 내용은 _analysis_assume 함수를 사용하여 잘못된 결함 억제방법: __analysis_assume 사용하여 추가 코드 정보 지정을 참조하세요.

드라이버 모델: KMDF

버그 검사 0x9F: DRIVER_POWER_STATE_FAILURE 규칙으로 발견된버그 검사

테스트 방법

컴파일 시

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

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

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

적용 대상

WdfDeviceInitSetPnpPowerEventCallbacksWdfFdoInitSetFilterWdfIoQueueCreate