IoSetCompletionRoutineExCheck 규칙(wdm)

IoSetCompletionRoutineExCheck 규칙은 IoSetCompletionRoutineEx 루틴이 NTSTATUS 값을 반환한다고 지정합니다. 드라이버는 이 값을 검사 IoCallDriver 또는 PoCallDriver를 호출하기 전에 IoCompletion 루틴이 성공적으로 등록되었는지 확인해야 합니다.

IoCompletion 루틴이 성공적으로 등록되면 IoSetCompletionRoutineExIoCompletion 루틴이 실행될 때까지 할당된 상태로 유지되는 메모리를 할당합니다. 드라이버는 IoCallDriver 또는 PoCallDriver를 호출하여 IoCompletion 루틴이 실행되는지 확인해야 합니다. 그렇지 않으면 커널이 메모리를 누수합니다.

드라이버 모델: WDM

테스트 방법

컴파일 시

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

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

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

적용 대상

IoCallDriverIoSetCompletionRoutineExPoCallDriver