WdfWaitlock 규칙(kmdf)
WdfWaitlock 규칙은 WdfWaitLockAcquire에 대한 호출이 WdfWaitlockRelease를 사용하여 엄격한 변경에 사용되도록 지정합니다. KMDF 이벤트 콜백 함수가 반환되면 드라이버는 WdfWaitLockAcquire에 대한 이전 호출에서 가져온 프레임워크 대기 잠금 개체를 보유해서는 안 됩니다.
드라이버 모델: KMDF
테스트 방법
컴파일 시 |
---|
정적 드라이버 검증 도구를 실행하고 WdfWaitlock 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다. |