QueuedSpinLockRelease 규칙(wdm)
QueuedSpinLockRelease 규칙은 KeAcquireInStackQueuedSpinLock 및 KeReleaseInStackQueuedSpinLock에 대한 호출이 엄격한 변경에 사용되도록 지정합니다.
또한 디스패치 또는 취소 루틴이 끝날 때 드라이버는 대기된 스핀 잠금을 보유해서는 안 됩니다.
드라이버 모델: WDM
버그 검사 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION(0x00040007) 규칙으로 발견된 버그 검사
테스트 방법
컴파일 시 |
---|
정적 드라이버 검증 도구를 실행하고 QueuedSpinLockRelease 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다. |
런타임 시 |
---|
드라이버 검증 도구를 실행하고 DDI 규정 준수 검사(추가) 옵션을 선택합니다. |
적용 대상
KeAcquireInStackQueuedSpinLockKeReleaseInStackQueuedSpinLock
피드백
https://aka.ms/ContentUserFeedback
출시 예정: 2024년 내내 콘텐츠에 대한 피드백 메커니즘으로 GitHub 문제를 단계적으로 폐지하고 이를 새로운 피드백 시스템으로 바꿀 예정입니다. 자세한 내용은 다음을 참조하세요.다음에 대한 사용자 의견 제출 및 보기