IrqlKeWaitForMutexObject 규칙(wdm)
IrqlKeWaitForMutexObject 규칙은 Timeout 매개 변수의 값에 따라 적절한 IRQL에서 KeWaitForMutexObject 루틴을 호출할 드라이버를 지정합니다.
시간 제한이 0 값을 가리키면 드라이버가 IRQL = DISPATCH_LEVEL 실행됩니다.
시간 제한이NULL이거나 0이 아닌 값을 가리키는 경우 드라이버가 IRQL <= APC_LEVEL 실행됩니다.
드라이버 모델: WDM
테스트 방법
컴파일 시 |
---|
정적 드라이버 검증 도구 를 실행하고 IrqlKeWaitForMutexObject 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다.자세한 내용은 정적 드라이버 검증 도구로 드라이버에서 결함 찾기를 참조하세요. |