IrqlObPassive Rule (WDM)

IrqlObPassive 규칙은 드라이버가 IRQL = PASSIVE_LEVEL에서 실행되는 경우에만 ObReferenceObjectByHandle를 호출하도록 지정합니다.

드라이버 모델WDM
이 규칙으로 찾은 버그 검사 Bug Check 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION(0x0002001B)

테스트 방법

컴파일 시

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

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

자세한 내용은 정적 드라이버 검증 도구를 사용해 드라이버의 결함 찾기을 참조하십시오.

런타임 시

드라이버 검증 도구를 실행하고 DDI 준수 검사 옵션을 선택합니다.

 

적용 대상

ObReferenceObjectByHandle

 

 

표시:
© 2014 Microsoft