IrqlKeReleaseSpinLock 규칙(wdm)
IrqlKeReleaseSpinLock 규칙은 드라이버가 DISPATCH_LEVEL IRQL에서 실행되는 경우에만 KeReleaseSpinLock을 호출하도록 지정합니다.
또한 이 규칙은 KeReleaseSpinLock 호출에서 NewIrql 매개 변수의 값이 KeAcquireSpinLock 호출 전에 드라이버가 실행된 IRQL과 같도록 지정합니다. (이 값은 KeAcquireSpinLock에서 제공하는 OldIrql 매개 변수의 값이기도 합니다.)
드라이버 모델:WDM
버그 검사 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION(0x00020015) 규칙으로 발견된 버그 검사
테스트 방법
컴파일 시 |
---|
정적 드라이버 검증 도구 를 실행하고 IrqlKeReleaseSpinLock 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다.자세한 내용은 정적 드라이버 검증 도구로 드라이버에서 결함 찾기를 참조하세요. |
런타임 시 |
---|
드라이버 검증 도구 를 실행하고 DDI 준수 확인 옵션을 선택합니다. |
적용 대상
피드백
https://aka.ms/ContentUserFeedback
출시 예정: 2024년 내내 콘텐츠에 대한 피드백 메커니즘으로 GitHub 문제를 단계적으로 폐지하고 이를 새로운 피드백 시스템으로 바꿀 예정입니다. 자세한 내용은 다음을 참조하세요.다음에 대한 사용자 의견 제출 및 보기